Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications

Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications

Bibliographic Details
Other Authors:	Melham, T
Format:	Conference item
Published:	University of Malta 1994

Similar Items

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings
Published: (1994)

Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings
Published: (2005)

Some Research Issues in Higher Order Logic Theorem Proving
by: Melham, T
Published: (1996)

Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007: Proceedings /
by: TPHOLs 2007 (2007 : Kaiserslautern, Germany), et al.
Published: (2007)

Introduction to HOL: A theorem proving environment for higher order logic
Published: (1993)

Optimization of Executable Formal Interpreters Developed in Higher-Order Logic Theorem Proving Systems
by: Zheng Yang, et al.
Published: (2018-01-01)

Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving
by: Adnan Rashid, et al.
Published: (2020-01-01)

Symbolic logic and mechanical theorem proving /
by: 336504 Chang, Chin-Ling, et al.
Published: (1973)

Formal analysis of 2D image processing filters using higher-order logic theorem proving
by: Adnan Rashid, et al.
Published: (2022-06-01)

Automated theorem proving : a logical basis /
by: 403272 Loveland, Donald W.
Published: (1978)

A Human Oriented Logic for Automatic Theorem Proving
by: Nevins, Arthur J.
Published: (2004)

Logic for computer science : foundations of automatic theorem proving /
by: 455116 Gallier, Jean H.
Published: (1986)

Conditional and preferential logics : proof methods and theorem proving /
by: 518526 Pozzato, Gian Luca
Published: (c201)

Some observations on the logical foundations of inductive theorem proving
by: Stefan Hetzl, et al.
Published: (2018-04-01)

Formalization of Linear Space Theory in the Higher-Order Logic Proving System
by: Jie Zhang, et al.
Published: (2013-01-01)

ProoFVer: Natural Logic Theorem Proving for Fact Verification
by: Amrith Krishna, et al.
Published: (2022-01-01)

Proceedings of the 22nd International Workshop on Description Logics
Published: (2009)

Theorem proving [filem]
Published: (1969)

Theorem proving [kasetvideo]
Published: (1969)

Theorem proving for prenex G\"odel logic with Delta: checking validity and unsatisfiability
by: Matthias Baaz, et al.
Published: (2012-03-01)

Elementary Geometry Theorem Proving
by: Goldstein, Ira
Published: (2004)

Playing with LEGO and proving theorems
by: Tanswell, FS
Published: (2017)

Workshop proceedings of the 9th international conference on intelligent environments /
by: International Conference on Intelligent Environments (9th), et al.
Published: (2013)

Workshop proceedings of the 8th International Conference on Intelligent Environments /
by: International Conference on Intelligent Environments (8th), et al.
Published: (2012)

Applications of Fuzzy Sets Theory [electronic resource] : 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007: Proceedings /
by: International Workshop on Fuzzy Logic and Applications (7th : 2007 : Camogli, Italy), et al.
Published: (2007)

PLANNER: A Language for Proving Theorems
by: Hewitt, Carl
Published: (2004)

Accurate Theorem Proving for Program Verification
by: Cook, B, et al.
Published: (2006)

Another look at automated theorem-proving
by: Koblitz Neal
Published: (2007-12-01)

Integrating Testing and Interactive Theorem Proving
by: Harsh Raju Chamarthi, et al.
Published: (2011-10-01)

Automated theorem proving in elementary geometry
by: Alfredo Ferro, et al.
Published: (1988-11-01)

Proceedings of the 23rd International Workshop on Description Logics (DL 2010)‚ Waterloo‚ Ontario‚ Canada‚ May 4−7‚ 2010
Published: (2010)

Proceedings of the International Conference on video and data recording : supplementary
by: International Conference on video and data recording (24th-27th : 1979 : University of Southhampton, Hampshire)
Published: (1979)

Proceedings of the 7th International Conference on Microelectronics /
by: International Conference on Microelectronics (7th : 1995 : Kuala Lumpur)
Published: (1995)

Ninth NOR-workshop; Grants 1996; Errata; 7th NACW; Proceedings 6th NACW
by: Rolf E. Haugerud (ed.)
Published: (1995-01-01)

Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
by: Aagaard, M, et al.
Published: (1999)

Using sophiscated models in resolution theorem proving /
by: 367238 Sandford, David M.
Published: (1980)

Cogent: Accurate theorem proving for program verification
by: Cook, B, et al.
Published: (2005)

Machine−Assisted Theorem−Proving for Software Engineering
by: Martin, A
Published: (2015)

Applications of real number theorem proving in PVS
by: Gottliebsen, H, et al.
Published: (2013)