Publication Details: | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Book: JAR
| Editors: | MISSING
| Book#: | 0168-7433
| Publisher: | MISSING
| Volume: | 19
| Pages: | 319-346
| |
Journal Paper #1194 | |
Title: | Abstract proof checking: an example motivated by an Incompleteness Theorem (RP809) |
---|---|
Authors: | Bundy,A; Giunchiglia,F; Villafiorita,F; Walsh,T |
Date: | 1997 |
Presented: | |
Keywords: |