×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [automated deduction]
Home >
automated deduction
Automated Deduction Techniques for Knowledge Representation Applications Peter Baumgartner Max-Planck-Institute for Informatics.
217 views
Formal Software Verification Christelle Scharff scharff May 2004 DPS, Pace University.
216 views
Have Your Compiler and Extend It Too Zachary Tatlock UC San Diego Correctness Guaranteed.
216 views
Reasoning about Actions and Causality Θεωρίες Δράσης και Αιτιότητας
15 views
1 Typing XQuery WANG Zhen (Selina) 2006.4.6. 2 Something about the Internship Group Name: PROTHEO, Inria, France Research: Rewriting and strategies, Constraints,
213 views
SAT basic definitions
219 views
The Relative Power of Semantics and Unification
29 views
Heuristics for Efficient SAT Solving
90 views
Prof. Necula CS 294-8 Lecture 91 Theorem Proving CS 294-8 Lecture 9.
225 views
Carles Sierra Artificial Intelligence Research Institute-CSIC Campus UAB () .
217 views
< Previous