Logic R' Us:
Computational Logic Results over a Decade

How to compute with no implicit control: results generated by the application of computational logic

Epilog is the FOL Theorem Prover modified for real problem application on which our cool results are base.


home slide next slide
©2007 Charles Petrie