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

書目詳細資料
其他作者:	Melham, T
格式:	Conference item
出版:	University of Malta 1994

相似書籍

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

Some Research Issues in Higher Order Logic Theorem Proving
由: Melham, T
出版: (1996)

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

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

Automated theorem proving : a logical basis /
由: 403272 Loveland, Donald W.
出版: (1978)

A Human Oriented Logic for Automatic Theorem Proving
由: Nevins, Arthur J.
出版: (2004)

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

Theorem proving [filem]
出版: (1969)

Theorem proving [kasetvideo]
出版: (1969)

Elementary Geometry Theorem Proving
由: Goldstein, Ira
出版: (2004)

Playing with LEGO and proving theorems
由: Tanswell, FS
出版: (2017)

PLANNER: A Language for Proving Theorems
由: Hewitt, Carl
出版: (2004)

Accurate Theorem Proving for Program Verification
由: Cook, B, et al.
出版: (2006)

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

Theorem-proving distributed algorithms with dynamic analysis
由: Ne Win, Toh, 1979-
出版: (2006)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
由: Aagaard, M, et al.
出版: (1999)

Cogent: Accurate theorem proving for program verification
由: Cook, B, et al.
出版: (2005)

Machine−Assisted Theorem−Proving for Software Engineering
由: Martin, A
出版: (2015)

Applications of real number theorem proving in PVS
由: Gottliebsen, H, et al.
出版: (2013)

Using sophiscated models in resolution theorem proving /
由: 367238 Sandford, David M.
出版: (1980)

Higher order Lipschitz Sandwich theorems
由: Lyons, T, et al.
出版: (2024)

Higher order Lipschitz Sandwich theorems
由: Lyons, T, et al.
出版: (2025)

A Proposal for a Geometry Theorem Proving Program
由: Hart, Timothy P.
出版: (2004)

Plane Geometry Theorem Proving Using Forward Chaining
由: Nevins, Arthur J.
出版: (2004)

A Study Of User Activity In Interactive Theorem Proving
由: Aitken, S, et al.
出版: (1995)

Interactive Theorem Proving: An Empirical Study of User Activity
由: Aitken, J, et al.
出版: (1998)

7th International Workshop on Polymer Reaction Engineering : papers of the 7th International Workshop on Polymer Reaction Engineering, Hamburg, 8-10 October 2001 /
由: International Workshop on Polymer Reaction Engineering (7th : 2001 : Hamburg, Germany), et al.
出版: (2001)

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

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
由: Ne Win, Toh, et al.
出版: (2023)

Monte Carlo Tree Search Applications to Neural Theorem Proving
由: LaBelle, Ethan
出版: (2024)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
由: Norton, Lewis Mark
出版: (2004)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
由: Norton, Lewis Mark
出版: (2023)

A Reflective Functional Language for Hardware Design and Theorem Proving
由: Grundy, J, et al.
出版: (2006)

A Reflective Functional Language for Hardware Design and Theorem Proving
由: Grundy, J, et al.
出版: (2003)

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
由: Aagaard, M, et al.
出版: (2000)

Physics of semiconductors : proceedings of the 7th International Conference
由: 472268 International Conference on the Physics of Semiconductors,n(7th :d1964 :cParis)
出版: (1964)

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
由: Hewitt, Carl
出版: (2004)

A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures
由: Kazakov, Y
出版: (2005)

Integrating Model Checking and Theorem Proving in a Reflective Functional Language
由: Melham, T
出版: (2004)

Translating timed I/O automata specifications for theorem proving in PVs
由: Lim, Hongping
出版: (2007)