Back to Results
First PageMeta Content
Logic / Abstraction / Mathematical logic / Automated theorem proving / Artificial intelligence / Reasoning / Theoretical computer science / Logic in computer science / Reasoning system / First-order logic / Automated reasoning / Modal logic


ABOUT MANUSCRIPTS FOR IJ ITA
Add to Reading List

Document Date: 2015-02-02 08:46:59

Open Document

File Size: 520,68 KB

Share Result on Facebook