AKTUELLE PARTNERANGEBOTE

7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170, Band 170)

Name: 7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170, Band 170)
Brand: Shostak, R. E.
SKU: 11748716

Brand : Springer, Binding : Taschenbuch, Edition : 1984, Label : Springer, Publisher : Springer, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 524, publicationDate : 1984-05-18, publishers : Shostak, R. E., ISBN : 0387960228

1 Angebote · ab 97,98 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

7th International Conference on Automated Deduction: Proceedings (Lecture Notes in Computer Science, 170, Band 170)