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

Dettagli Bibliografici
Altri autori:	Melham, T
Natura:	Conference item
Pubblicazione:	University of Malta 1994

Documenti analoghi

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

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

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

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

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

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

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

Theorem proving [filem]
Pubblicazione: (1969)

Theorem proving [kasetvideo]
Pubblicazione: (1969)

Elementary Geometry Theorem Proving
di: Goldstein, Ira
Pubblicazione: (2004)

Playing with LEGO and proving theorems
di: Tanswell, FS
Pubblicazione: (2017)

PLANNER: A Language for Proving Theorems
di: Hewitt, Carl
Pubblicazione: (2004)

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

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

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

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

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

Machine−Assisted Theorem−Proving for Software Engineering
di: Martin, A
Pubblicazione: (2015)

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

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

Higher order Lipschitz Sandwich theorems
di: Lyons, T, et al.
Pubblicazione: (2024)

Higher order Lipschitz Sandwich theorems
di: Lyons, T, et al.
Pubblicazione: (2025)

A Proposal for a Geometry Theorem Proving Program
di: Hart, Timothy P.
Pubblicazione: (2004)

Plane Geometry Theorem Proving Using Forward Chaining
di: Nevins, Arthur J.
Pubblicazione: (2004)

A Study Of User Activity In Interactive Theorem Proving
di: Aitken, S, et al.
Pubblicazione: (1995)

Interactive Theorem Proving: An Empirical Study of User Activity
di: Aitken, J, et al.
Pubblicazione: (1998)

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

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

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

Monte Carlo Tree Search Applications to Neural Theorem Proving
di: LaBelle, Ethan
Pubblicazione: (2024)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
di: Norton, Lewis Mark
Pubblicazione: (2004)

ADEPT: A Heuristic Program for Proving Theorems of Group Theory
di: Norton, Lewis Mark
Pubblicazione: (2023)

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

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

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

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

PLANNER: A Language for Manipulating Models and Proving Theorems in a Robot
di: Hewitt, Carl
Pubblicazione: (2004)

A Framework of Refutational Theorem Proving for Saturation−Based Decision Procedures
di: Kazakov, Y
Pubblicazione: (2005)

Integrating Model Checking and Theorem Proving in a Reflective Functional Language
di: Melham, T
Pubblicazione: (2004)

Translating timed I/O automata specifications for theorem proving in PVs
di: Lim, Hongping
Pubblicazione: (2007)