Home > Science > Mathematics > Algebra
Robbins Algebras Are Boolean William McCune Automated Deduction Group Mathematics and Computer Science Division Argonne National Laboratory Posted on the Web October 15, 1996. Last updated February 5, 1998. These Web pages contain some information on the solution of the Robbins problem. A paper on this topic appears in the Journal of Automated Reasoning . Here is a preprint. The JAR paper has ...
www-unix.mcs.anl.gov/~mccune/papers/robbins/
Post a Review
Do you have experience with or are you familiar with this website? Please post your comments / review below to share with the rest of the community.
Do you have experience with or are you familiar with this website? Please post your comments / review below to share with the rest of the community.
Please note, all comments are subject to review and can be removed at any time for any reason.
Disclaimer: eiNET is not affiliated in any way with the Robbins Algebras Are Boolean (www-unix.mcs.anl.gov/~mccune/papers/robbins/) website.
Views and opinions expressed may not be representative of eiNET or its owners but all effort is made to keep the site free of obscenities, illegal or otherwise malicious activity.
Are you the owner of this site? You can manage your listing here.