AKTUELLE PARTNERANGEBOTE

Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science, 518, Band 518)

Brand : Springer, Binding : Taschenbuch, Edition : 1991, Label : Springer Berlin Heidelberg, Publisher : Springer Berlin Heidelberg, NumberOfItems : 1, medium : Taschenbuch, numberOfPages : 148, publicationDate : 2008-10-10, authors : Williams, James G., ISBN : 3540543333

2 Angebote · ab 53,49 € gemeldete Gesamtkosten