Work

Towards an Interactive Mathematical Proof Mode

Year: 2003

Type: book-chapter

Source: Applied logic series

DOI: 10.1007/978-94-017-0253-9_2

Author: Henk Barendregt

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1585401881

FWCI: 5.43

Cites: 5

Cited by: 13

Related to: 10