Top » Science » Math » Logic_and_Foundations » Computational_Logic

Deprecated: Function eregi_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 128

Deprecated: Function ereg_replace() is deprecated in /home/chroot/home/sports/htdocs/index.php on line 129

Computational logic consists of those approaches to general logic in which insights from the theory of computation play an essential part, for example in decision problems in logic, effective semantics of logic, computationally effective frameworks for proofs theory and theorem proving.

Automated Reasoning	Combinatory Logic and Lambda Calculus
Logical Frameworks

• 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.

 

 

Copyright ©2000-2012 SPORT FR (32.56ms)

Apportez votre contribution à l'annuaire le plus complet du Web (avec évaluateurs « humains » !). Proposer un site - Open Directory Project - Devenir évaluateur de site