Theorem Proving in Higher Order Logics Tom Melham
53,49 €
Titel: Theorem Proving in Higher Order Logics, Untertitel: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings, Einband: Taschenbuch, Autor: Tom Melham, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 424, Maße: 235x155x23 mm, Gewicht: 639 g, Verkäufer: buch-mimpf, Schlagworte: Begründung / Beweis Beweis Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Logik Philosophie / Logik Coq Isabelle formal verification logic proof theory proving theorem proving verification.
Jetzt bei Ebay:
