Back to Results
First PageMeta Content
Predicate logic / Rules of inference / First-order logic / Model theory / Resolution / FO / Generalization / Universal quantification / Horn clause / Logic / Mathematical logic / Mathematics


Fundamenta Informaticae[removed]{14 IOS Press 1 Meta-Queries on Deductive Databases
Add to Reading List

Document Date: 2012-02-01 08:04:30

Open Document

File Size: 221,40 KB

Share Result on Facebook
UPDATE