Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Document Date: 2012-03-19 21:28:41
Open Document
File Size: 1,73 MB
Share Result on Facebook
Company
Ge /
/
Person
Cesare Tinelli Solving Quantified /
Clark Barrett /
/
SocialTag
Formal methods
Logic in computer science
Model theory
Philosophy of mathematics
Automated theorem proving
Satisfiability Modulo Theories
First-order logic
Satisfiability
Logic
Theoretical computer science