Computational Logic Logic and Foundations Math

Computational logic consists of those approaches to general logic intheorem proving.

    Top: Science: Math: Logic and Foundations: Computational Logic

Automated Reasoning Combinatory Logic and Lambda Calculus Logical Frameworks

CiteSeer Index: Computer Science: Theory: Logic - Provides access to abstracts and full text of publications.

   MySQL - Cache Direct