A Hole in Goal Trees: Some Guidance from Resolution Theory
From MaRDI portal
Publication:4088307
DOI10.1109/TC.1976.1674614zbMath0324.68055OpenAlexW1766062603MaRDI QIDQ4088307
Mark E. Stickel, Donald W. Loveland
Publication date: 1976
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tc.1976.1674614
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Mark Stickel: his earliest work ⋮ A Prolog technology theorem prover: Implementation by an extended Prolog compiler ⋮ An experimental logic based on the fundamental deduction principle
This page was built for publication: A Hole in Goal Trees: Some Guidance from Resolution Theory
