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

Bibliographische Detailangaben
Weitere Verfasser:	Melham, T
Format:	Conference item
Veröffentlicht:	University of Malta 1994

Ähnliche Einträge

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

Some Research Issues in Higher Order Logic Theorem Proving
von: Melham, T
Veröffentlicht: (1996)

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

Introduction to HOL: A theorem proving environment for higher order logic
Veröffentlicht: (1993)

Automated theorem proving : a logical basis /
von: 403272 Loveland, Donald W.
Veröffentlicht: (1978)

A Human Oriented Logic for Automatic Theorem Proving
von: Nevins, Arthur J.
Veröffentlicht: (2004)

Logic for computer science : foundations of automatic theorem proving /
von: 455116 Gallier, Jean H.
Veröffentlicht: (1986)

Theorem proving [filem]
Veröffentlicht: (1969)

Theorem proving [kasetvideo]
Veröffentlicht: (1969)

Elementary Geometry Theorem Proving
von: Goldstein, Ira
Veröffentlicht: (2004)

Playing with LEGO and proving theorems
von: Tanswell, FS
Veröffentlicht: (2017)

PLANNER: A Language for Proving Theorems
von: Hewitt, Carl
Veröffentlicht: (2004)

Accurate Theorem Proving for Program Verification
von: Cook, B, et al.
Veröffentlicht: (2006)

Proceedings of the 22nd International Workshop on Description Logics
Veröffentlicht: (2009)

Theorem-proving distributed algorithms with dynamic analysis
von: Ne Win, Toh, 1979-
Veröffentlicht: (2006)

Xs Are for Trajectory Evaluation‚ Booleans Are for Theorem Proving
von: Aagaard, M, et al.
Veröffentlicht: (1999)

Cogent: Accurate theorem proving for program verification
von: Cook, B, et al.
Veröffentlicht: (2005)

Machine−Assisted Theorem−Proving for Software Engineering
von: Martin, A
Veröffentlicht: (2015)

Applications of real number theorem proving in PVS
von: Gottliebsen, H, et al.
Veröffentlicht: (2013)

Using sophiscated models in resolution theorem proving /
von: 367238 Sandford, David M.
Veröffentlicht: (1980)

Higher order Lipschitz Sandwich theorems
von: Lyons, T, et al.
Veröffentlicht: (2024)

Higher order Lipschitz Sandwich theorems
von: Lyons, T, et al.
Veröffentlicht: (2025)

A Proposal for a Geometry Theorem Proving Program
von: Hart, Timothy P.
Veröffentlicht: (2004)

Plane Geometry Theorem Proving Using Forward Chaining
von: Nevins, Arthur J.
Veröffentlicht: (2004)

A Study Of User Activity In Interactive Theorem Proving
von: Aitken, S, et al.
Veröffentlicht: (1995)

Interactive Theorem Proving: An Empirical Study of User Activity
von: Aitken, J, et al.
Veröffentlicht: (1998)

7th International Workshop on Polymer Reaction Engineering : papers of the 7th International Workshop on Polymer Reaction Engineering, Hamburg, 8-10 October 2001 /
von: International Workshop on Polymer Reaction Engineering (7th : 2001 : Hamburg, Germany), et al.
Veröffentlicht: (2001)

Proceedings of the International Conference on video and data recording : supplementary
von: International Conference on video and data recording (24th-27th : 1979 : University of Southhampton, Hampshire)
Veröffentlicht: (1979)

Verifying Distributed Algorithms via Dynamic Analysis and Theorem Proving
von: Ne Win, Toh, et al.
Veröffentlicht: (2023)

Monte Carlo Tree Search Applications to Neural Theorem Proving
von: LaBelle, Ethan
Veröffentlicht: (2024)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
von: Norton, Lewis Mark
Veröffentlicht: (2004)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
von: Norton, Lewis Mark
Veröffentlicht: (2023)

A Reflective Functional Language for Hardware Design and Theorem Proving
von: Grundy, J, et al.
Veröffentlicht: (2006)

A Reflective Functional Language for Hardware Design and Theorem Proving
von: Grundy, J, et al.
Veröffentlicht: (2003)

Xs are for Trajectory Evaluation‚ Booleans are for Theorem Proving (Extended Version)
von: Aagaard, M, et al.
Veröffentlicht: (2000)

Physics of semiconductors : proceedings of the 7th International Conference
von: 472268 International Conference on the Physics of Semiconductors,n(7th :d1964 :cParis)
Veröffentlicht: (1964)

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
von: Hewitt, Carl
Veröffentlicht: (2004)

A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures
von: Kazakov, Y
Veröffentlicht: (2005)

Integrating Model Checking and Theorem Proving in a Reflective Functional Language
von: Melham, T
Veröffentlicht: (2004)

Translating timed I/O automata specifications for theorem proving in PVs
von: Lim, Hongping
Veröffentlicht: (2007)