Automated Reasoning in Higher-Order Logic C. E. Brown Taschenbuch Englisch 2007
57,90 €
Titel: Automated Reasoning in Higher-Order Logic | Zusatz: Set Comprehension and Extensionality in Church's Type Theory | Medium: Taschenbuch | Autor: C. E. Brown | Einband: Kartoniert / Broschiert | Inhalt: Kartoniert / Broschiert | Sprache: Englisch | Seiten: 564 | Maße: 234 x 156 x 31 mm | Erschienen: 22.10.2007 | Anbieter: Buchbär.
Jetzt bei Ebay:
