Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 956 Categories, Downloaded 49.599.283 Times

Sentential and Deducutive Reasoning 1.0

Company: logistics.sourceforge.net
Date Added: September 19, 2012  |  Visits: 437

Sentential and Deducutive Reasoning

Report Broken Link
Printer Friendly Version


Product Homepage
Download (46 downloads)



When this project is complete, a user may enter in an deductive argument in standard form, and out pops a fresh, baked validity judgement.

Requirements: No special requirements
Release Date: September 19, 2012
Platforms: Windows, Mac
Users rating: 0/10

License: Freeware Size: 5.99 KB
USER REVIEWS
More Reviews or Write Review


SENTENTIAL AND DEDUCUTIVE REASONING RELATED
Programming  -  Common Lisp Reasoner 2.0.1
The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a rule language, an XML interface, and support for AI-related search and reasoning tasks such as scheduling, planning, diagnosis and predictive reasoning.
115 KB  
Education  -  Symbolic Logic Exploration 3
Modernizing the sentential and predicate logic programs, Bertie and Twootie, by cleaning up the code, rewritting the code to conform to the standard Pascal defination, and developing a graphical user interface for both X and MS Windows.
172.79 KB  
Strategy Games  -  Linkz 1.0
Try this new game called Linkz and be surprised! Linkz is a mental agility game that tests your powers of deductive and logical reasoning.The rules are very simple: use the mouse to move the coloured pieces to empty spaces, making them coinicide...
2 KB  
3D Graphic Tools  -  ORFEO Toolbox 1.2.0
ORFEO Toolbox (OTB) is a high resolution remote sensing image processing library. It contains a set of algorithmic components which allow the user to capitalize on methodological know how, and therefore use an incremental approach to profit from...
 
Action Games  -  Earl Biohazard and the Dilettantish Disconnecters 1.1
Help our hero finding his way through the not-so-ordinary Jump-n-Run game called Earl Biohazard. Getting through handpixelled levels while trackered digital music gives him the right mood he blasts away the ugly subjects which are always dropping...
3.13 MB  
Casino Games  -  A Scratch and Win Game 2.0
AScratchNWin! is an exciting new product that allows you to easily and effectively add scratch and win capabilities to your website! You can also use it like a mini-casino! Try out the evaluation version, which lets you specify a % chance of...
2.11 MB  
E-Book Creators  -  Best and New Books 1.0
Best and New books, you can check easly all book on the net.
45 KB  
HTML Utilities  -  Replace and Rename 1.3
Replace and Rename allows you to perform both file renaming AND text replacing in one easy batch file from one "keyword" import file. The software works with files from directories and subdirectories.
866 KB  
E-Commerce  -  Multiple File Search and Replace 2.0
With the help of this program, you can quickly find and replace text, correct html code and hyperlinks in multiple file, add new links or re-format the design of the entire site. Software extremely useful in editing of multiple html and text...
342.51 KB  
Phone Tools  -  ZOIPER Free IAX and SIP softphone 2.00
ZOIPER Free Version 2.0 is a new generation IAX and SIP softphone compatible with the Asterisk platform as any other IAX or SIP capable system. ZOIPER Free Edition features include: IAX/IAX 2 + SIP protocols, STUN support, STUN server per account,...
2.04 MB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, EDUCATION
Macintosh Software  -  EasyEDA PCB Designer for MacOS 2.0.0
EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...
34.4 MB  
Macintosh Software  -  VideoSolo Video to GIF Converter (Mac) 1.0.12
How to make a GIF? VideoSolo Free Video to GIF Converter for Mac supports all popular video files including MP4, AVI, MOV, WMV, FLV, M4V, etc. You can easily turn MP4/AVI/MOV/WMV/FLV/M4V to GIF animation on Mac and share your GIFs with your...
46.51 MB  
Macintosh Software  -  VideoSolo Free Video Converter (Mac) 1.0.18
VideoSolo Free Video Converter for Mac is a fast, powerful and easy-to-master video converter. Its main purpose is to convert video files from one format into another. It is able to convert video and audio files in 300+ formats on Mac for totally...
75.29 MB  
Macintosh Software  -  ManyCam for Mac 6
ManyCam is a free Webcam software and a screen recorder for anyone to use. Several feature enhancements are included within ManyCam to produce a professional quality live video production. It can connect a desktop, smartphone, tablet and live...
90.49 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Education  -  Sliding Down an Incline Plane Model 1.0
This interactive simulation shows a stone block lying at rest on an inclined plane. Initially, the component of gravity along the plane surface is exceeded by the force of static friction. The slope of the ramp can be increased or decreased,...
51.2 KB  
Education  -  MrAIC 1.4.4
MrAIC.pl is a Perl script for calculating AIC, AICc, BIC, and Akaike weights (for a review, see Burnham and Anderson, 2002) for nucleotide substitution models. Likelihood scores under different models are estimated using PHYML (Guindon and...
10.24 KB  
Education  -  Three Charges 1.0
In this simulation, you can investigate the idea of the force between charged objects. Initially, the simulation sets up three charged objects, one at each corner of an equilateral triangle. The charges have different magnitudes - your job is to...
1.36 MB  
Education  -  AWclust 3.0
AWclust is easy to use non-parametric population structure analysis software written for R with a GUI interface. Just point and click and you will be on your way to discovering the important cluster information in your SNP data sets.
20.48 KB  
Education  -  BEAGLE/BEAGLECALL Scripts Package 1.0
These scripts are for importing and exporting files from the BEAGLE and BEAGLECALL Genetic Analysis Software Packages
317.44 KB