|
|
 |
Don't forget to come back to this page and click the check mark ( ) to vote for a site!
| Science & Tech /Software /Logic / |
The Coq project
Our work deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations themselves and the use of these for various applications. We are parti
(http://pauillac.inria.fr/coq/pres-eng.html)
The leanTAP Home Page
Lean, Tableau-based Deduction (theorem prover for first order logic)
(i12www.ira.uka.de/leantap/)
LWB
Logics Workbench
(http://www.lwb.unibe.ch/index.html)
PROTEIN
theorem prover for first-order clause logic
(http://www.uni-koblenz.de/ag-ki/Implementierungen/Protein/)
SAT hard instance generator and solution algorithms
Utilities and algorithms by V. Z. Nuri
(http://www8.pair.com/mnajtiv/sat/sat.html)
SwitchMin Digital Circuit Minimizer
Tool for minimizing boolean logic functions
(incolor.inetnebr.com/double/softlib/switchmin.html)
Theorem Provers
No Description available
(http://www.tcs.informatik.uni-muenchen.de/~matthes/logikserver/software.html)
Logic Software from CSLI
This page describes the text/software packages Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic.
(http://www-csli.stanford.edu/hp/index.html)
AI Links
Quadralay's Fuzzy Logic Archive Contains introductory articles and an online course on the concept of fuzzy logic. Fuzzy Logic & Neurofuzzy Resources List of resources covering research groups, companies, tutorials, conferences and journals.
(http://www.wbc.edu/academics/cs/fuzzy.htm)
Bio-Logic, Inc.
Gym Assistant is an effective yet simple-to-use system to help the gym owner manage and maintain club memberships. Diabetes Mentor is an easy-to-use computer program which records, graphs and prints your BGs, insulin dosages, oral medications, calories, c
(http://www.biologicinc.com/index.html)
Data Logic - Software Solutions for the Security Industry
No Description available
(http://www.dtlgc.com/)
Leonardo IDE: a logic-based software visualization tool
The site describes Leonardo, an integrated C programming environment for reversible execution and logic-based software visualization that has been developed at the University of Rome "La Sapienza"
(http://www.dis.uniroma1.it/~demetres/Leonardo/&query=Logic+Software&rsource=LCOSS)
The Logic Pages
Emagic Logic Improvement PagesELIP Welcome to the Emagic Logic Improvement PagesELIP. Here you can give ideas for improvements of the worlds' best sequencer.
(http://www.nbdj.com/Logic/)
Logic-Users Group Web Page
of all Emagic software , with an emphasis on Logic and Logic Home at the Logic Users Group! These pages contain information for
(http://www.mcc.ac.uk/~emagic/emagic_page.html)
Spectra Logic Software Partners
No Description available
(http://www.spectra.wali.com/isv_top.htm)
CNC Links at i-Logic Software
No Description available
(http://www.i-logic.com/links.htm)
Logic Software from CSLI
This page describes the text/software packages Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic.
(csli-www.stanford.edu/hp/Logic-software.html)
Pretzel Logic Software, Inc.
No Description available
(http://www.pretzel.com/)
Circular Logic Home Page
featuring our new Internet Communications front-ends, WiPPPer and SLIPpper for DOS! Save Time! Save Money! Automate your Communications! Start your own Web-Forum or Chat Room --- 60-day Free Trial Offer Web-Forum OLR: ...
(http://www.circularlogic.com/)
NONE: RE: Where do I go to download new Logic software?
Message-Id: «1.5.4.32.19970108103307.0069f8fc@athena.rrz.Uni-Koeln.de» Date: Wed, 08 Jan 1997 11:33:07 +0100 To: logic-users@mcc.ac.uk From: Andreas Indetzki «a203 ...
(http://www.mcc.ac.uk/~emagic/listarchive/Jan1_1997/0341.html)
Index: Top Logic Software & Computers (M . . . . Eric Yee) / Medical Equipment / Me ...
Informationen für den medizinischen Bereich www.medizin.li Top Logic Software & Computers (Mr. Eric Yee) Top Logic Software & Computers 801 - 2nd Avenue ...
(http://medizin.li/mt_index_az/_t/t_40919.htm)
Union Logic Software Publishing, Inc. - Games Domain - Demos
Welcome to Games Domain Console Domain - Kids Domain - MPOG 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z Union Logic Software Publishing, Inc. Platform: Dos File Date: ...
(http://www.gamesdomain.com/demos/demo/1_uldemo.html)
Portfolio Logic Software - InvestSearch, Wall Street Directory, WSD
portfolio logic software
(http://www.wsdinc.com/products/p3965.shtml)
Union Logic Software Publishing, Inc. - Games Domain Demos
Dos File Date: 01/01/96 Details: Arcade/Action Homepage Required: Unknown Download Links for 1_uldemo.zip - 902Kb US: archive.pht.com Download Time (minutes) 14.4K: 8.6 28.8K: 4.3 33.6K: ...
(http://www.gamesdomain.co.uk/demos/demo/1_uldemo.html)
Everett Kaser Software
Puzzle and logic games for PC's. Include the classic logic deduction puzzles of Sherlock, Dinner With Moriarty, and Descartes Enigma, the "boulderdash" style MESH:Hero games, and Solitile - a game of matched tile removal
(http://www.kaser.com&query=Logic+Software&rsource=LCOSS)
More in sites in this topic
 |
 Information about this site |
Vote for this site |
 Site not available |
|  |
|
| |
|
|
|
|
|
