Automated reasoning: third international joint conference ; proceedings
Berlin [u.a.]: Springer, 2006
Konferenzschrift, Sammelwerk, Gedruckte Ressource
- XV, 680 S.
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Automated reasoning: third international joint conference ; proceedings
|
---|---|
Verantwortlichkeitsangabe: | IJCAR 2006, Seattle, WA, USA, August 17 - 20, 2006. Ulrich Furbach ... (eds.) |
Autor/in / Beteiligte Person: | Furbach, Ulrich (1948-) |
Körperschaft: | IJCAR |
Verwandtes Werk: | |
Veröffentlichung: | Berlin [u.a.]: Springer, 2006 |
Medientyp: | Konferenzschrift, Sammelwerk |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XV, 680 S. |
ISBN: | 9783540371878 : EUR 81.32 (freier Pr.), sfr 128.50 (freier Pr.); 3540371877 : EUR 81.32 (freier Pr.), sfr 128.50 (freier Pr.) |
Schlagwort: |
|
Sonstiges: |
|