|
|
Automated Deduction - CADE 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)
Frank Pfenning
Taschenbuch. Springer-Verlag GmbH 2007-07.
ISBN 9783540735946
|
|
|
Kaufen bei Amazon.de
|
Weitere Bücher von Frank Pfenning
Ähnliche Bücher
Das Buch besprechen
Schreiben Sie eine Besprechung und teilen Sie anderen Ihre Meinung mit. Konzentrieren Sie sich dabei möglichst auf den Inhal des Buches. Lesen Sie hierzu unsere Instruktionen zur weiteren Information.
Automated Deduction
Buchrezensionen » Automated Deduction - CADE 21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings (Lecture Notes in Computer Science)
|
|
|
|
|
|
|