Canadian Content - Computational Logic
Computational Logic Listings & Download   Canadian Content
    Search:
Computational Logic

Computational Logic (Logic and Foundations)

Canadian Content - Computational Logic Canadian Content > Science: Math: Logic and Foundations: Computational Logic:


Computational Logic

Computational Logic further on these related pages:


Automated Reasoning
Combinatory Logic and Lambda Calculus
Logical Frameworks

Computational Logic Sites:

Research Index: Computer Science: Theory: Logic Research Index: Computer Science: Theory: Logic
Research Index: Computer Science: Theory: 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. (Computational Logic)
http://citeseer.nj.nec.com/Theory/Logic/