Skip to content
cs-conference-ranking.org

Program Synthesis in Predicate Logic.

Christopher J. Hogger

VenueAECAI
Year1978
ProceedingsAISB/GI (ECAI)
DBLP recordconf/ecai/Hogger78 ↗

Browse the full ECAI paper archive.