Theorem Proving in Higher Order Logics
15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Victor A. Carreno
Themen in »Theorem Proving in Higher Order Logics«
automated deduction formal methods formal verification hardware verification higher order logic logic design mathematical logic model checking proof theory theorem provers theorem proving unification verification
Stimmen zu »Theorem Proving in Higher Order Logics«
Details
ISBN: 9783540440390
Verlag: Springer Berlin
Erscheinung: 07.08.2002