Direkt zum Inhalt
Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science (2741), Band 2741)

AKTUELLE PARTNERANGEBOTE

Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture Notes in Computer Science (2741), Band 2741)

Brand : Springer, Binding : Taschenbuch, Edition : 2003, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 524, publicationDate : 2008-10-10, publishers : Franz Baader, ISBN : 3540405593

2 Angebote · ab 53,49 € gemeldete Gesamtkosten