Description:
The Robbins problem---are all Robbins algebras Boolean?---has been solved: Every Robbins algebra is Boolean. This theorem was proved automatically by EQP, a theorem proving program developed at Argonne National Laboratory. Historical BackgroundIn 1933,...
Hits:
58 |
Rating:
( 5.0 )
by 1 users
Added:
12/31/2004
