Back to Results
First PageMeta Content
Automated theorem proving / Theoretical computer science / Mathematical logic / Software engineering / TPTP / Automated reasoning / SPASS / Reasoning system / Prolog / Model elimination / OMDoc / System on TPTP


CADE-18 Workshop: Problems and Problem Sets Contents:  John Harrison Invited talk: Extracting Test Problems from Real Applications  J
Add to Reading List

Document Date: 2002-06-13 14:56:18

Open Document

File Size: 1,33 MB

Share Result on Facebook
UPDATE