<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-08-14 09:31:55Theoretical computer science Automated theorem proving Mathematical logic Logic in computer science Formal methods Proof assistants Isabelle Automated reasoning Interactive Theorem Proving International Joint Conference on Automated Reasoning Association for Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods |
Add to Reading List |
Jasmin Christian Blanchette AugustPersonal Information | Jasmin Christian Blanchette AugustPersonal InformationDocID: 1qpYV - View Document |
| Jasmin Christian Blanchette 1 Personal Information Citizenship: CanadianDocID: 11Q2R - View Document |
| IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop onDocID: W96v - View Document |
| The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and SoftwareDocID: azjd - View Document |
| Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole PolytechniqueDocID: a5pn - View Document |