AKTUELLE PARTNERANGEBOTE

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)

Name: Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)
Brand: Leonardo de Moura
SKU: 2705772

Binding : Taschenbuch, Edition : 1st ed. 2017, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 596, publicationDate : 2017-07-11, releaseDate : 2017-07-11, publishers : Leonardo de Moura, languages : english, ISBN : 3319630458

1 Angebote · ab 85,04 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)