Axiom - Document - PDFSEARCH.IO - Document Search Engine

First Page		Document Content
Date: 2009-02-26 12:09:14 Automated theorem proving Propositional calculus Condensed detachment Axiom Mathematical proof Theorem Substitution Logic Mathematics Mathematical logic		Add to Reading List Source URL: www.mcs.anl.gov Download Document from Source Website File Size: 146,55 KB Share Document on Facebook

	The two-photon detachment of O− M. Génévriez1 , X. Urbain1 , A. Cyr2 , K. M. Dunseath2 , and M. Terao-Dunseath2 1 Institute of Condensed Matter and Nanosciences, Université catholique de Louvain, Louvain-la-Neuve B- DocID: 1nfH6 - View Document
	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar DocID: aN97 - View Document
	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar DocID: 8yUT - View Document
	PDF Document DocID: 1bRP - View Document