Home  About  Submit Site    
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.
This directory is made available through a Creative Commons Attribution license from the DMOZ Organization.

© 2023 - Midnight Design Productions, LLC