Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007416493/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog abstract ""This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field."--PUBLISHER'S WEBSITE.".
- catalog alternative "TPHOLs '96".
- catalog contributor b10237584.
- catalog contributor b10237585.
- catalog contributor b10237586.
- catalog contributor b10237587.
- catalog created "c1996.".
- catalog date "1996".
- catalog date "c1996.".
- catalog dateCopyrighted "c1996.".
- catalog description ""This book constitutes the refereed proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics, TPHOL '96, held in Turku, Finland, in August 1996. The 27 revised full papers included together with one invited paper were carefully selected from a total of 46 submissions. The topics addressed are theorem proving technology, proof automation and decision procedures, mechanized theorem proving, extensions of higher order logics, integration of external tools, novel applications, and others. All in all, the volume is an up-to-date report on the state of the art in this increasingly active field."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references and index.".
- catalog extent "viii, 446 p. :".
- catalog hasFormat "Theorem proving in higher order logics.".
- catalog identifier "3540615873 (alk. paper)".
- catalog isFormatOf "Theorem proving in higher order logics.".
- catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1125".
- catalog issued "1996".
- catalog issued "c1996.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog relation "Theorem proving in higher order logics.".
- catalog subject "004/.01/5113 20".
- catalog subject "Automatic theorem proving Congresses.".
- catalog subject "QA76.9.A96 I577 1996".
- catalog title "TPHOLs '96".
- catalog title "Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison (eds.).".
- catalog type "Conference proceedings. fast".
- catalog type "Kongress. swd".
- catalog type "Turku (1996) swd".
- catalog type "text".