PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation
Year: 1977
Type: article
Source: Fundamenta Informaticae
DOI: 10.3233/fi-1977-1116
Authors: Luigia Aiello, Mario Aiello, Giuseppe Attardi, Gianfranco Prini
Institution: University of Pisa
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W3163122332