|
one of the largest directories of the web |
|
Home : Science : Math : Logic and Foundations : Computational Logic
Computational Logic
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.
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.
Sites in Computational 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. |
|
||
sub categories in Computational Logic
|
|||
