DMCA

Bidirectional Reasoning of Horn Clause Programs: (1991)

by For Konstliche , Intelligenz Gmbh , Knut Hinkelmann , Deutsches Forschungszentrum , Kunstliche Intelligenz , Deutsches Forschungszentrum , Konstliche Intelligenz , Knut Hinkelmann