Directory

Directory Help Search only in Computational LogicSearch the Web

Computational Logic

Science > Math > Logic and Foundations > Computational Logic

Go to Directory Home

Categories

Automated Reasoning (1) Combinatory Logic and Lambda Calculus (19) Logical Frameworks (16)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

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

Modified by Google - ©2008 Google
Advertise with Us - Jobs, Press, Cool Stuff...