Apps filed under: prove theorem
RSS Feed for this tag 2 applications totalLast updated: May 1st 2013, 12:11 GMT
- 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