Subscribe

Bertrand

Bertrand

First-order satisfiability checker and prover for the Macintosh.

Authored by at , Added: Mar 8, 2004

http://www.humnet.ucla.edu/humnet/phil/grads/herzberg/Bertrand.html

Go to the above webpage for full details or Back to Logic Design