Back to Results
First PageMeta Content
Logic / Automated theorem proving / Mathematical logic / Resolution / FO / Cover / Backtracking / Mathematics / Theoretical computer science / Search algorithms


Incremental Data-Driven Refinement of Knowledge
Add to Reading List

Document Date: 2006-01-11 05:53:22

Open Document

File Size: 570,19 KB

Share Result on Facebook
UPDATE