Intercalation Calculus Prover download

An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.

GNU General Public License version 2.0 (GPLv2)

Other Useful Business Software

With Connecteam you can manage every aspect of your business on the go, no workstation needed.

Connecteam is an award-winning all-in-one employee management solution for daily operations, communications, and human resource management.

Rate This Project

User Reviews

Be the first to post a review of Intercalation Calculus Prover!

English

2008-04-12

Similar Business Software

OrCAD X

OrCAD® X is a unified PCB design software platform that offers significant improvements in ease of use, performance, automation, data management, and collaboration. Our cloud-enabled product suite contains applications for schematic, simulation, and PCB layout. OrCAD X Capture is one of the most...

See Software
ActCAD Software

ActCAD is a 2D & 3D CAD software with functionality of the industry leaders. We offer two product options: - ActCAD Standard for 2D Drafting Power Users - ActCAD Prime for 2D Drafting, 3D Modeling and BIM (Building Information Modeling) functionality ActCAD can be used for applications...

See Software
AvPro Software

AvPro Software is comprehensive and easy-to-use. It's perfect for Aircraft MRO, Certified Repair Station (CRS), Aircraft Operators, and parts brokers. You can track Aircraft Parts I(nventory, Work Orders, and much more. Modular in nature and specifically designed for aircraft maintenance...

See Software