about dmoz

help
Top
:
Science
:
Math
:
Logic and Foundations
:
Computational Logic
:
Automated Reasoning
The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.
DMOZ
Science: Math: Logic and Foundations: Proof Theory
Copyright © 19982014 AOL Inc.
Terms of Use
Last update: Tuesday, January 2, 2007 5:54:52 PM EST 
edit