
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
