Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19 - 22, 1997; proceedings / Elsa L. Gunter ... (ed.)

Gunter, Elsa L. [Hrsg.] ; Felty, Amy [Hrsg.]

TPHOLs ; 10 (Murray Hill, NJ) : 1997.08.19-22.

Englisch

Berlin ; Heidelberg [u.a.] : Springer, 1997

VIII, 337 S.

Konferenzschrift (1997, Murray Hill, NJ)

Literaturangaben

Archivierung/Langzeitarchivierung gewährleistet (Rechtsgrundlage Pflichtexemplar Baden-Württemberg). BLB Karlsruhe

brosch. : DM 74.00

Online-Ausg.: Gunter, Elsa L.: Theorem Proving in Higher Order Logics. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1997. - Online-Ressource

3-540-63379-0

*HOL

*Automatisches Beweisverfahren

*HOL

*Automatisches Beweisverfahren

*Automatic theorem proving -- Congresses

Klassifikation der Library of Congress: QA76.9.A96

Dewey Dezimal-Klassifikation: 004/.01/5113 ; 004/.01/5113 21 ; 004.015113

Regensburger Verbund-Klassifikation: SS 4800: SQ-SU Informatik / SS Enzyklopädien und Handbücher. Kongressberichte Schriftenreihe. Tafeln und Formelsammlungen / Lecture notes in computer science

Mathematics Subject Classification: *00B25

Mathematics Subject Classification: 03-06

Mathematics Subject Classification: 68-06

http://www.loc.gov/catdir/enhancements/fy0815/97033256-d.html [Publisher description]

https://zbmath.org/?q=an:0870.00024 [Zentralblatt MATH]

kaz

Potsdamer Straße

BIBTEX - ENDNOTE - RIS