Back to Results
First PageMeta Content
Applied mathematics / Automated theorem proving / Formal languages / Logic in computer science / Computability theory / Termination analysis / Mathematical proof / Rewriting / Heuristic / Theoretical computer science / Mathematics / Mathematical logic


Automated Certified Proofs with CiME3∗ ´ Contejean1,2 E. P. Courtieu3
Add to Reading List

Document Date: 2011-02-13 18:15:50

Open Document

File Size: 201,62 KB

Share Result on Facebook
UPDATE