 |
|
|
|
 |
egories |
 |
|
New Addition |
|
|
|
 |
Details: |
 |
|
|
|
LWB (Popularity:  ): Logics Workbench.
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 |
|
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 ...
LOOM (Popularity: ): A language and environment for constructing intelligent applications. It is a research project in the Artificial Intelligence research group at ...
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 |
|
TiVo Reports Results for the Third Quarter Fiscal Year 2010 Ended October 31, 2009 (Popularity: ): TiVo Inc. (Nasdaq: TIVO), the creator of and a leader in television services for digital video recorders (DVRs), today reported ...
MSI US Launches High-Performance Wind Top 21.5-inch Multi-Touch Screen All-in-One Desktop PC (Popularity: ): MSI, a leading manufacturer of computer components and systems, today announced the U.S. availability of the Wind Top AE2220 all-in-one ...
Massachusetts Girl Wins $20,000 First Prize In Math Competition (Popularity: ): Elizabeth Synge, of Boston University Academy in Massachusetts, won the $20,000 prize for first place in the Advantage Testing Foundation's ...
NASA'S LCROSS Impacts Confirm Water In Lunar Crater (Popularity: ): Preliminary data from NASA's Lunar Crater Observation and Sensing Satellite, or LCROSS, indicates the mission successfully uncovered water in a ...
Bank of America Extends Nearly $184 Billion in Credit in Third Quarter (Popularity: ): Today, Bank of America issued its third quarterly Lending & Investing Initiative report, which outlines the company's progress in driving ...
|
|
Related Articles |
|
|
|
 |
|
 |
| |
| | |
|
|
|
© 2003-2008, ABC-Directory.Com. All Rights Reserved
|
|
|
 |
|
 |
|
