![Mathematical logic / Logical syntax / Philosophical logic / Automated theorem proving / Mathematical proof / Axiom of choice / Theorem / First-order logic / Conjecture / Logic / Mathematics / Formal systems Mathematical logic / Logical syntax / Philosophical logic / Automated theorem proving / Mathematical proof / Axiom of choice / Theorem / First-order logic / Conjecture / Logic / Mathematics / Formal systems](https://www.pdfsearch.io/img/304945a587b087ab05fc764a0fba0289.jpg) Date: 2014-07-10 18:23:49Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems | | A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, GermanyAdd to Reading ListSource URL: www21.in.tum.deDownload Document from Source Website File Size: 182,11 KBShare Document on Facebook
|