Work

Mechanizing Proof

Year: 2001

Type: book

Source: The MIT Press eBooks

DOI: 10.7551/mitpress/4529.001.0001

Author: Donald MacKenzie

Language: English

Topic: History of Computing Technologies

Subfield: Computer Science Applications

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: closed

OpenAlex ID: W4245144701

FWCI: 31.52

Cites:

Cited by: 418

Related to: 10