Back to Results
First PageMeta Content
Automated theorem proving / Formal systems / Model theory / Z notation / Richard Waldinger / SNARK / Logic programming / Axiom / First-order logic / Logic / Mathematics / Mathematical logic


Document Date: 2003-07-03 23:51:49

Open Document

File Size: 1,14 MB

Share Result on Facebook
UPDATE