Computational Logic

1MillionSites.com Computational Logic Directory
Find Internet Computational Logic sites with just a few clicks!

Computational Logic Science > Math > Logic and Foundations > Computational Logic

Categories
Automated Reasoning Combinatory Logic and Lambda Calculus	Logical Frameworks

Websites

CiteSeer Index: Computer Science: Theory: Logic - http://citeseer.ist.psu.edu/theory/logic/ Provides access to abstracts and full text of publications.

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