scientific article; zbMATH DE number 3343519
From MaRDI portal
Publication:5619635
zbMath0216.24101MaRDI QIDQ5619635
Publication date: 1970
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (11)
A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ A logic for default reasoning ⋮ Theorem proving with abstraction ⋮ A simplified problem reduction format ⋮ Unrestricted resolution versus N-resolution ⋮ A semantic backward chaining proof system ⋮ Resolution graphs ⋮ Extracting information from resolution proof trees ⋮ Linear resolution with selection function ⋮ Theorem proving with variable-constrained resolution ⋮ On Linear Resolution
This page was built for publication:
