Related Links
Artificial Intelligence Resources
Association for Automated Reasoning
Automated Deduction at Argonne
Automated Deduction Research Sites
CMU Artificial Intelligence Repository
Constraints Archive
Esprit Working Group 22457 - Construction of Computational Logics II
Formal Methods Europe: Home Page
IFIP Working Group 1.6 - Term Rewriting
Logical Frameworks
Mechanized Reasoning
Short Course on Rewriting
TermiLog: termination of logic programs
Thousands of Problems for Theorem Provers
Realized by
Nachum Dershowitz
and
Laurent Vigneron
.
Last modified: 16-Jun-2015
.