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
Computational Logic further on these related pages:
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/
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
-
