Tools Help Center
This page provides links to applications mentioned in the course.
|
Babbage - Truth Table Generator
Boole - Multicolumn Truth Table Generator Converter - conversion to clausal form Unifier - unification Herbrand - Fitch-style proof editor Robinson - Resolution-style proof editor |
Created Wed 23 May 2012 8:34 PM CEST
Last Modified Mon 28 Sep 2015 6:38 PM CEST
Last Modified Mon 28 Sep 2015 6:38 PM CEST