Robbins Algebras Are Boolean

Robbins Algebras Are Boolean
All Links

Share this:

Details of Robbins Algebras Are Boolean

About Robbins Algebras Are Boolean
Robbins Algebras Are Boolean- A web text by William McCune describing the solution of this problem by a theorem-proving program, with input files and the proofs.
Academic Departments