Back to Results
First PageMeta Content
Reasoning / Deductive reasoning / Programming paradigms / Artificial intelligence / Automated theorem proving / Reasoning system / Mathematical logic / Knowledge representation and reasoning / Computer science / Logic programming / Inference / Natural deduction


C o n n e c t i n g G re a t M i n d s
Add to Reading List

Document Date: 2011-09-16 07:48:16


Open Document

File Size: 978,51 KB

Share Result on Facebook