Theorem proving by chain resolution release_smbgp3pkvrfzjcehs7e4cfhiva

by Patrick Dehornoy, Abderrahim Marzouk

Published in Theoretical Computer Science by Elsevier BV.

1998   Volume 206, Issue 1-2, p163-180

Archived Files and Locations

application/pdf  1.4 MB
file_3x5z26yuxbbnjp4o2x43ub4j4a
core.ac.uk (aggregator)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   1998
Language   en ?
Container Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0304-3975
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: d2d65a92-e809-46ed-97c5-f3e537e99766
API URL: JSON