A theorem prover for a computational logic release_kxfrkpou4rautfbn7oixw6rpgi

by Robert S. Boyer, J Strother Moore

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

1990   p1-15

Archived Files and Locations

application/pdf  43.8 kB
file_xjmm3v2nwraxpauhzv2yccb6p4
web.archive.org (webarchive)
www.cs.utexas.edu (web)
application/pdf  41.6 kB
file_umxnywk6njaqfjb7ezfua2o6ey
web.archive.org (webarchive)
www.cs.utexas.edu:80 (web)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   1990
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4906e7d6-8d7b-4eb7-8520-ae9398600d88
API URL: JSON