Back to Results
First PageMeta Content
Complexity classes / Finite model theory / Boolean algebra / Predicate logic / Boolean satisfiability problem / True quantified Boolean formula / NP-complete / Description logic / FO / Theoretical computer science / Computational complexity theory / Applied mathematics


3 Complexity of Reasoning Francesco M. Donini
Add to Reading List

Document Date: 2011-09-08 09:53:48

Open Document

File Size: 339,30 KB

Share Result on Facebook
UPDATE