Abstract Proof Checking: An Example Motivated by an...

Journal of Automated Reasoning 1997 / 12 Vol. 19; Iss. 3

Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem

Alan Bundy, Fausto Giunchiglia, Adolfo Villafiorita, Toby Walsh
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
19
Language:
english
Pages:
28
DOI:
10.1023/a:1005877613942
Date:
December, 1997
File:
PDF, 235 KB
english, 1997
Conversion to is in progress
Conversion to is failed