Conference on Automated Deduction

#	Item
1	Published in Proc. of “Conference on Automated Deduction (CADE)”, A Randomized Satisfiability Procedure for Arithmetic and Uninterpreted Function Symbols Sumit Gulwani and George C. Necula University of Califo Add to Reading List Source URL: www.cs.berkeley.edu - Date: 2010-10-29 12:59:29
2	Published in Proc. of Conference on Automated Deduction, 2002, pp. 47–62. A Gradual Approach to a More Trustworthy, yet Scalable, Proof-Carrying Code Robert R. Schneck1 and George C. Necula2,? 1 Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:42 Deduction Formal methods Model theory Proof-carrying code Theorem Type safety IP Soundness Logic Mathematics Proof theory
3	The IMPS Bibliography William M. Farmer∗ Joshua D. Guttman† Computing and Software Add to Reading List Source URL: imps.mcmaster.ca Language: English - Date: 2012-03-27 15:38:49 Computer science Logic in computer science Formal methods Artificial intelligence Automated reasoning Conference on Automated Deduction International Joint Conference on Automated Reasoning Theoretical computer science Applied mathematics Automated theorem proving