the entire directory only in this category i seek web search

Logic and Foundations Computational Logic

i seek Directory >> Science >> Math >> Logic and Foundations >> Computational Logic

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

CiteSeer Index: Computer Science: 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

The content of about Logic and Foundations Computational Logic is based on the Open Directory Project and has been modified and powered by FarODP - Free Online Games