Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Specification
:
INKA Inductive Theorem Prover
Link Details for:
INKA Inductive Theorem Prover
Link Title:
INKA Inductive Theorem Prover
Link URL:
http://www.dfki.de/vse/systems/inka/
Link Details:
First-order theorem prover with induction based on the explicit induction paradigm. It is based on a full first-order calculus, a special variant of the resolution calculus with paramodulation.
Category:
Top : Computers : Programming : Languages : Specification
Link Type:
ScreenShot: