Skip to content
cs-conference-ranking.org

Program Synthesis from Natural Deduction Proofs.

Shigeki Goto

VenueA*IJCAI
Year1979
ProceedingsIJCAI
DBLP recordconf/ijcai/Goto79 ↗

Browse the full IJCAI paper archive.