scientific article; zbMATH DE number 3343519

From MaRDI portal

Revision as of 04:01, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5619635

Jump to:navigation, search

zbMath0216.24101MaRDI QIDQ5619635

David C. Luckham

Publication date: 1970

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Related Items (12)

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 ⋮ A complete semantic back 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:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5619635&oldid=30273911"