Theorem Proving in Higher Order Logics - Emerging Trends

  • This technical report is the Emerging Trends proceedings of the 20th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007), which was held during 10-13 September in Kaiserslautern, Germany. TPHOLs covers all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification.
Metadaten
Verfasserangaben:Klaus Schneider, Jens Brandt
URN (Permalink):urn:nbn:de:hbz:386-kluedo-16063
Schriftenreihe (Bandnummer):Interner Bericht des Fachbereich Informatik (364)
Dokumentart:Konferenzveröffentlichung
Sprache der Veröffentlichung:Englisch
Jahr der Fertigstellung:2007
Jahr der Veröffentlichung:2007
Veröffentlichende Institution:Technische Universität Kaiserslautern
Datum der Publikation (Server):03.06.2009
GND-Schlagwort:HOL
Fachbereiche / Organisatorische Einheiten:Fachbereich Informatik
CCS-Klassifikation (Informatik):F. Theory of Computation / F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.1 Mathematical Logic (F.1.1, I.2.2-4)
I. Computing Methodologies / I.2 ARTIFICIAL INTELLIGENCE / I.2.3 Deduction and Theorem Proving (F.4.1)
DDC-Sachgruppen:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Lizenz (Deutsch):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011

$Rev: 13581 $