Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic

QR Code

Review of Mike Gordon and Tom Melham (editors), An Introduction to HOL, a Theorem Proving Environment for Higher Order Logic

Bibliographic Details
Main Author:	Hutton, Graham
Format:	Article
Published:	Cambridge University Press 1994
Online Access:	https://eprints.nottingham.ac.uk/244/

Similar Items

Theorem proving for all: equational reasoning in Liquid Haskell
by: Vazou, Niki, et al.
Published: (2018)

Aspects of the theory of containers within automated theorem proving
by: Prince, Rawle C.S.
Published: (2011)

Integrating SVC and HOL with the PROSPER Toolkit
by: Stevenson, Alan, et al.
Published: (2000)

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus
by: Zimmer, Juergen, et al.
Published: (2002)

Editor's Introduction
by: Conlan, Chris
Published: (2004)

Editor's Introduction
by: Oliver, Bobbie
Published: (2001)

Editor’s introduction
by: Keane, Michael
Published: (2011)

Introduction: From the Editors
by: Gracy, K., et al.
Published: (2018)

A Resolution Based Automated Theorem Proving System Using Concurrent Processing Approach
by: Natarajan, Surash
Published: (1994)

Fixed point theorem based solvability of 2-dimensional dissipative cubic nonlinear Klein-Gordon equation
by: Md. Asaduzzaman, et al.
Published: (2020)

Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure
by: Toh, Sing Poh
Published: (2008)

Editor' introduction: sharing borders
by: Quayum, Mohammad Abdul
Published: (2009)

Foucault and Animals: Editors' Introduction
by: Chrulew, Matthew, et al.
Published: (2016)

Application of homotopy-perturbation method to Klein–Gordon and sine-Gordon equations
by: Chowdhury, Md. Sazzad Hossien, et al.
Published: (2009)

Guest Editors’ Introduction to the Special Issue on FIFO Work
by: Rainnie, Alistair, et al.
Published: (2014)

Guest Editors' Introduction to the Special Issue on FIFO Work
by: Rainnie, A., et al.
Published: (2014)

A Crocodile Named Tom
by: Pine, Anthony
Published: (2016)

Rainfall runoff simulation using MIKE11 NAM
by: Shamsudin, Supiah, et al.
Published: (2002)

Compare and analyse marketing strategies using consumer focused studies. The case of TomTom vs. Garmin
by: Stefanova, Antonia
Published: (2014)

Higher-Order Functions for Parsing
by: Hutton, Graham
Published: (1992)

PART V RECALIBRATING SPACE, TRADITION AND REGIONAL IDENTITY: Editor's introduction
by: Keane, Michael
Published: (2016)

Malaysian varsities prove their worth
by: Mustafa, Zulita
Published: (2018)

PART IV ASSESSING DIGITAL LIVES, CONSTRUCTING CREATIVE FUTURES: Editor's introduction
by: Keane, Michael
Published: (2016)

PART III TRADITIONAL CULTURAL AND CREATIVE INDUSTRY SECTORS IN FLUX: Editor's introduction
by: Keane, Michael
Published: (2016)

To the editor
by: Melloh, Markus, et al.
Published: (2013)

Stability of standing waves for the Klein–Gordon–Hartree equation
by: Zhang, J., et al.
Published: (2015)

Instability of Standing Wave for the Klein–Gordon–Hartree Equation
by: Li, X., et al.
Published: (2014)

Fiction absolute and ethics: Tom Wolfe‘s back to blood
by: Jamshidian, Sahar, et al.
Published: (2014)

On ‘People and the Human Condition’: Tom Stannage and Labour History
by: Oliver, Bobbie
Published: (2015)

Special issue on virtual heritage: cultural agents, environments, and objects guest editor’s introduction
by: Ch’ng, Eugene
Published: (2015)

A new approach for one-dimensional sine-Gordon equation
by: Akgul, Ali, et al.
Published: (2016)

Editor's column
by: Quayum, Mohammad Abdul, et al.
Published: (2015)

Editors Notes
by: Kinsella, John
Published: (2017)

Foreword by the editor
by: Davidson, David
Published: (2014)

Editor's Notes
by: Chen, Julian
Published: (2022)

Letters: To the editor
by: O'Keeffe, M., et al.
Published: (2014)

Letter to the editor
by: Melloh, Markus, et al.
Published: (2011)

Editor's note
by: Tan, Zhai Yun
Published: (2022)

ASSESSING MIKE-11 MODEL FOR BOD AND COD TRANSPORT IN BERTAM RIVER, CAMERON HIGHLANDS
by: Malakahmad, Dr, Amirhossein, Dr, et al.
Published: (2008)

Developing MIKE-11 Model for Water Quality Simulation in Bertam River, Cameron Highlands
by: Malakahmad, Dr, Amirhossein, Dr, et al.
Published: (2008)