Back to Results
First PageMeta Content
Software engineering / Mathematical logic / Theoretical computer science / Formal methods / Logic in computer science / Model theory / Computability theory / Procedural programming languages / First-order logic / Automated theorem proving / ALGOL 68 / Let expression


The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger
Add to Reading List

Document Date: 2016-07-20 16:08:44

Open Document

File Size: 456,24 KB

Share Result on Facebook
UPDATE