Canadian Content - Computational Logic
Logic and Foundations » Computational Logic   Canadian Content
    Search:
Computational Logic

Computational Logic (Logic and Foundations)

Canadian Content - Computational Logic Canadian Content > Science: Math: Logic_and_Foundations: Computational_Logic:


Similar Categories

Computational Logic Subs:


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 is a major project to provide access to research science in a format that benefits from the interconnectivity of the internet.
http://citeseer.nj.nec.com/Theory/Logic/

Computational Logic Related Pages: