Directory

Directory Help Search only in Computational LogicSearch the Web

Computational Logic

Science > Math > Logic and Foundations > Computational Logic

Go to Directory Home: [English]  [English]

Categories

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

Web Pages

View in Google PageRank order               Viewing 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...