Serebella
Open Directory - Science: Math: Logic and Foundations: Computational Logic
Volunteer to edit this category.
Copyright © 2012 Netscape Terms of Use
Visit our sister sites  mozilla.org | MusicMoz | Wikipedia

Last update: Friday, November 18, 2005 7:25:52 PM EST - edit

Serebella
Open Directory - Science: Math: Logic and Foundations: Computational Logic
In Partnership with AOL Search
 
about dmoz | help

Computational logic consists of those approaches to general logic in which insights from the theory of computation play an essential part, for example in decision problems in logic, effective semantics of logic, computationally effective frameworks for proofs theory and theorem proving.
Automated Reasoning
The area of logic and artificial intelligence concerned with automating logical inference, implementing theorem provers, and the foundations of logic programming.
Logical Frameworks
A proof-assistant is a computer program with which a user can construct completely formal mathematical proofs in some kind of logical system. In contrast to a theorem prover, a proof-assistant cannot find proofs on its own
Copyright © 2012 Netscape Terms of Use
Last update: Tuesday, January 2, 2007 5:54:52 PM EST - edit


Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
About Serebella.com