Skip to content

An inference engine for function free logic programs.

Stefan Bttcher

VenueBICTAI
Year1990
ProceedingsTAI

Browse the full ICTAI paper archive.