N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure release_rrivl5ddsncxldghsnwsmnyn4e

by D.M. Gabbay

Published in The Journal of Logic Programming by Elsevier BV.

1985   p251-283

Archived Files and Locations

application/pdf  1.4 MB
file_mxggjsprm5h4rahni7awt4esde
web.archive.org (webarchive)
publisher-connector.core.ac.uk (web)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   1985
Language   en ?
Journal Metadata
Open Access Publication
Not in DOAJ
In Keepers Registry
ISSN-L:  0743-1066
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 2a648064-2dff-4813-9742-514ae496277e
API URL: JSON