Theorem Proving in Higher Order Logics Malcolm Newey
53,49 €
Titel: Theorem Proving in Higher Order Logics, Untertitel: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings, Einband: Taschenbuch, Autor: Malcolm Newey, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 516, Maße: 235x155x28 mm, Gewicht: 774 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Annotation Coq Formal Specification Isabelle Variable algorithm algorithms automata formal verification logic modeling proving search algorithm theorem proving verification.
Jetzt bei Ebay:
