AKTUELLE PARTNERANGEBOTE

Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science, 607, Band 607)

Name: Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science, 607, Band 607)
Brand: D. Kapur
SKU: 8950951

Brand : Springer, Binding : Taschenbuch, Edition : 1992, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 816, publicationDate : 2009-02-22, publishers : D. Kapur, ISBN : 3540556028

1 Angebote · ab 106,99 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Automated Deduction - CADE-11: 11th Internationat Conference on Automated Deduction Saratoga Springs, NY, USA, June 15-18, 1992 Proceedings: 11th ... Notes in Computer Science, 607, Band 607)