Additional
Information: 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 oflogic, computationally effective frameworks This page was last updated on October 9th, 2008
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/
Additional
Information: 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 oflogic, computationally effective frameworks
-
