Jasmin Christian Blanchette 1 Personal Information Citizenship: Canadian

First Page		Document Content
Date: 2015-04-09 12:51:30 Automated theorem proving Isabelle Automated reasoning Proof assistant International Joint Conference on Automated Reasoning International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Association for Automated Reasoning Logic programming Blanchett Theoretical computer science Mathematics Applied mathematics		Jasmin Christian Blanchette 1 Personal Information Citizenship: Canadian Add to Reading List Source URL: www21.in.tum.de Download Document from Source Website File Size: 106,29 KB Share Document on Facebook

	Automated Reasoning for EXplainable Artificial Intelligence Maria Paola Bonacina Dipartimento di Informatica Universit` a degli Studi di Verona DocID: 1xVwB - View Document
	Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15 DocID: 1xVfb - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan · DocID: 1xV5B - View Document
	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be DocID: 1xV0v - View Document
	arXiv:1805.03418v1 [cs.SC] 9 MayComputing an LLL-reduced basis of the orthogonal lattice Jingwei Chen Chongqing Key Lab of Automated Reasoning & Cognition, DocID: 1xU0M - View Document