Math: Logic and Foundations: Software: PROTEIN

Home: Math: Logic and Foundations: Software:

Submitted: Sat Sep 06 2003
Title:

Math: Logic and Foundations: Software: PROTEIN

URL: http://www.uni-koblenz.de/ag-ki/Implementierungen/Protein/

Description: A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, documentation.

Detailed Traffic Statistic From Alexa

Previous Next

HOME | ADD A LINK | MODIFY A LINK | LOGIN

Open forum for all scientific topics!
Excellent source of information to study.
This forum is place to talk with interesting people