Science Math Logic and Foundations Computational Logic
26
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.

Subcategories 3

[Mozilla Einstein]
Last update:
January 6, 2016 at 3:54:03 UTC
Science
Shopping
Society
Sports
All Languages
Arts
Business
Computers
Games
Health
Home
News
Recreation
Reference
Regional