Work

Automated Theorem Proving 1965–1970

Year: 1983

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-3-642-81955-1_1

Authors: L. Wos, L. Henschen

Institutions: Northwestern University, Argonne National Laboratory

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W68304396

FWCI: 8.832

Cites: 43

Cited by: 28

Related to: 10