by Michael Dahr
No reviews yet. Be the first!
Petri net semantics of logic programs an...
The Deductive Spreadsheet
Handbook of Automated Reasoning
Deductive and object-oriented databases
Cikm 93
Inkonsistenzen in deduktiven Datenbanken