Theorem Proving in Higher Order Logics Konrad Slind
53,49 €
Titel: Theorem Proving in Higher Order Logics, Untertitel: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, Einband: Taschenbuch, Autor: Konrad Slind, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 352, Maße: 235x155x20 mm, Gewicht: 534 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik Automat Isabelle automated deduction computability logic proof theory proving theorem proving verification.
Jetzt bei Ebay:
