Theorem Proving in Higher Order Logics
20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Klaus Schneider
Themen in »Theorem Proving in Higher Order Logics«
D programming language modeling programming programming language proving semantics theorem proving verification
Stimmen zu »Theorem Proving in Higher Order Logics«
Details
ISBN: 9783540745914
Verlag: Springer Berlin
Erscheinung: 23.08.2007