Skip to content
cs-conference-ranking.org

SCOTT: A Model-Guided Theorem Prover.

John K. Slaney

VenueA*IJCAI
Year1993
ProceedingsIJCAI
DBLP recordconf/ijcai/Slaney93 ↗

Browse the full IJCAI paper archive.