Skip to content
cs-conference-ranking.org

Proof Search (Tutorial).

Roy Dyckhoff, Natarajan Shankar

VenueBICLP
Year1994
ProceedingsICLP Workshop: Proof-Theoretical Extensions on Logic Programming
DBLP recordconf/iclp/DyckhoffS94 ↗

Browse the full ICLP paper archive.