/ Home / Web Directory / Science / Math / Logic and Foundations / Computational Logic   (36)


Sub-Categories in Computational Logic

Automated Reasoning (1)
Combinatory Logic and Lambda Calculus (20)

Logical Frameworks (14)

Web Sites in Category Computational Logic

Research Index: Computer Science: Theory: Logic - Research Index is a major project to provide access to research science in a format that benefits from the interconnectivity of the internet.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor



Looking for a job in the education sector? Visit Education America Network (for US job postings) or Education Canada Network (for Canadian opportunities).

Re-use/reproduction of some materials may be limited, please see our Acceptable Use Guidelines.
© 2001-2006 World of Education