Work

Introduction to HOL: a theorem proving environment for higher order logic

Year: 1993

Type: book

Source: Cambridge University Press eBooks

Authors: Mike Gordon, Tom Melham

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1521083034

FWCI: 58.28

Cites:

Cited by: 1,299

Related to: 10