 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
|
|
PROTEIN (Popularity:  ): A PROver with a Theory Extension INterface. Theorem prover for first-order clause logic, written in ECRC's Prolog-dialect ECLiPSe. Free download, ...
Database of Existing Mechanized Reasoning Systems (Popularity: ): A list (>50 entries) of automatic resolution provers (like Otter), interactive provers (like PVS) and other mechanized reasoning tools.
Automated Reasoning Project (Popularity: ): Web resource provided by research group. Includes access to software developed by the team, coverering such projects as FINDER (Finite ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
MUltlog (Popularity: ): Takes as input the specification of a finitely-valued first-order logic and produces a sequent calculus, a natural deduction system, and ...
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...
Logic Software from CSLI (Popularity: ): By Jon Barwise and John Etchemendy.
ProofPower (Popularity: ): A suite of tools supporting specification and proof in Higher Order Logic (HOL) and in Z notation.
LOOM (Popularity: ): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
|
|
Popular Sites |
|
LOOM (Popularity: ): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
WinKE: A Proof Assistant for Teaching Logic (Popularity: ): WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information ...
MUltseq (Popularity: ): A generic sequent prover for propositional finitely-valued logics.
Gateway to Logic (Popularity: ): A collection of web-based logic programs offering a number of logical functions: interactively or automatically build proofs, check theorems, and ...
The Coq Project (Popularity: ): Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations ...
|
|
Related Press |
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
