Theorem Proving in Higher Order Logics Victor A. Carreno
85,59 €
Titel: Theorem Proving in Higher Order Logics, Untertitel: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings, Einband: Taschenbuch, Autor: Victor A. Carreno, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 364, Maße: 235x155x20 mm, Gewicht: 552 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Hardware verification Logic Design automated deduction formal methods formal verification higher order logic mathematical logic model checking proof theory theorem provers theorem proving unification verification.
Jetzt bei Ebay:
