AKTUELLE PARTNERANGEBOTE

Automated Deduction _ CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Lecture Notes in Computer Science)

Name: Automated Deduction _ CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Lecture Notes in Computer Science)
Brand: Alan Bundy
SKU: 8951177

Binding : Taschenbuch, Edition : 1994, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 852, publicationDate : 1994-06-08, publishers : Alan Bundy, languages : english, ISBN : 3540581561

1 Angebote · ab 52,94 € gemeldete Gesamtkosten

Gute Entscheidungen beginnen mit einem guten Vergleich.

Automated Deduction _ CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Lecture Notes in Computer Science)