|
||||
Name: Robbins Algebras Are Boolean Description: A web text by William McCune describing the solution of this problem by a theorem-proving program, with input files and the proofs. Category: Algebra Url: http://www-unix.mcs.anl.gov/~mccune/papers/robbins/ Date: 18-01-2001 Current Rating: 6.00
|
||||
|
Something wrong with this resource? Report this link as broken |
||||
