Apps filed under: prove
RSS Feed for this tag 4 applications totalLast updated: Oct 18th 2014, 06:57 GMT
- 1,248 downloads
- 889 KB
ProofTools 0.5 Beta
A cross-platform application designed to help you demonstrate logical expressions by generating pr...
Oct 18th 2014, 06:57 GMT
Windows All
- 494 downloads
- 527 KB
GEnerealized Resolution Deductive System
A simple tool for testing the theory about predicate logic deductive systems
May 1st 2013, 12:11 GMT
Windows All
- 613 downloads
- 973 KB
Fuzzy Predicate Logic GEnerealized Resolution Deductive System
A simple tool for editing knowledge bases and performing inference upon them
Apr 30th 2013, 22:18 GMT
Windows All