Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem

Authors
A.Bundy,F.Giunchiglia,A.Villafiorita,T.Walsh
Citation
A.bundy,f.giunchiglia,a.villafiorita,t.walsh, Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem, Journal of automated reasoning , 19(3), 1997, pp. 319-346
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
19
Issue
3
Year of publication
1997
Pages
319 - 346
Database
ACNP
SICI code