|
This page will contain information about one of my most complex projects up
to date. It started as an assignment in Artificial Intelligence, where you should implement "a generic automated proof procedure for the propositional logic".
It turned out to be quite an ordeal and therefore I give selected parts from my final report here. The output from my program can be viewed here.
|