Skip to content
cs-conference-ranking.org

nanoCoP: Natural Non-clausal Theorem Proving.

Jens Otten

VenueA*IJCAI
Year2017
ProceedingsIJCAI
DBLP recordconf/ijcai/Otten17 ↗

Browse the full IJCAI paper archive.