Work

A mizar mode for HOL

Year: 1996

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/bfb0105406

Author: John Harrison

Institution: Åbo Akademi University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: European Commission

OpenAlex ID: W1488189293

FWCI: 2.731

Cites: 34

Cited by: 68

Related to: 10