E theorem prover - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-07-10 09:41:34 Automated theorem proving Usability KeY Automated reasoning Proof assistant Reasoning system Formal verification E theorem prover Isabelle Software testing Geoff Sutcliffe Software verification		Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 863,63 KB Share Document on Facebook

	The Practice of Clausification in Automatic Theorem Proving Geoff Sutcliffe Stuart Melville DocID: 1rI0C - View Document
	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe DocID: 1qjaE - View Document
	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany DocID: 1pryh - View Document
	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at DocID: 1p9Y9 - View Document
	A Grand Challenge of Theorem Discovery Geoff Sutcliffe1 , Yi Gao1 , and Simon Colton2 1 Department of Computer Science, University of Miami , DocID: 1p8ah - View Document