Motivation Identifying Standard Theories Extracting Proofs - Computable model theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Motivation Identifying Standard Theories Extracting Proofs Add to Reading List Document Date: 2014-03-02 18:28:46 Open Document File Size: 324,76 KB Share Result on Facebook Company OpenTheory Standard Theory Library Joe Hurd Galois Inc. / / / Facility Motivation Identifying Standard Theories Extracting Proofs Building / Summary Joe Hurd The OpenTheory Standard Theory Library / Joe Hurd The OpenTheory Standard Theory Library / Standard Theory Library / OpenTheory Standard Theory Library / The OpenTheory Standard Theory Library / / IndustryTerm theorem prover proof tools / software engineering / package management / proof tools / similar proof tools / search space / proof search / / OperatingSystem Hurd / / Organization National Aeronautics and Space Administration / / Person Joe Hurd / Rob Arthan / / Position MP / / ProgrammingLanguage ML / / Technology operating system / / SocialTag Automated theorem proving Logic in computer science Model theory Proof theory Proof assistant Isabelle HOL Logic for Computable Functions Mathematical proof Mathematical logic

Motivation Identifying Standard Theories Extracting ProofsAdd to Reading List