Direkt zum Inhalt
Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)

AKTUELLE PARTNERANGEBOTE

Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)

Binding : Taschenbuch, Edition : 2007, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 536, publicationDate : 2007-08-24, publishers : Frank Pfenning, languages : english, ISBN : 3540735941

2 Angebote · ab 53,49 € gemeldete Gesamtkosten