Direkt zum Inhalt
Automated Theorem Proving: Theory and Practice

AKTUELLE PARTNERANGEBOTE

Automated Theorem Proving: Theory and Practice

Brand : Springer, Binding : Taschenbuch, Edition : Softcover reprint of the original 1st ed. 2001, Label : Springer, Publisher : Springer, medium : Taschenbuch, numberOfPages : 245, publicationDate : 2013-05-24, releaseDate : 2013-05-24, authors : Monty Newborn, ISBN : 1461265193

2 Angebote · ab 120,34 € gemeldete Gesamtkosten