|
Top/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. |
| Associated Categories for
Computational Logic |
|
|
|
1 web sites matced for Computational Logic |
|
|
| |
| Web Site Directory - powered by Dmoz |
Arts
Movies, Television, Music... |
Business
Jobs, Real Estate, Investing... |
Computers
Internet, Software, Hardware... |
Games
Video Games, RPGs, Gambling... |
Health
Fitness, Medicine, Alternative... |
Home
Family, Consumers, Cooking... |
News
Media, Newspapers, Weather... |
Regional
US, Canada, UK, Europe... |
Science
Biology, Psychology, Physics... |
Shopping
Auctions, Clothing, Gifts... |
Society
People, Religion, Issues... |
Sports
Baseball, Soccer, Basketball... |
| |
|
|
|
|
Sponcer Links
|
Live Chat
mioot Live chat system help you to track your web site visitor in real time and enable live chat features with your web site visitor.
|
|
miOOt Technologies is an Indian based software company offering complete onsite offshore software development solutions with high end technologies and standard. |
| |
|
|
|
