Automatic Proofs and Counterexamples for Some Ortholattice Identities (1998)
Cached
Download Links
- [info.mcs.anl.gov]
- [www.cs.unm.edu]
- [ftp.ese-metz.fr]
- DBLP
Other Repositories/Bibliography
by
William Mccune
| Venue: | Information Processing Letters |
| Citations: | 21 - 2 self |
Document Versions
| Automatic Proofs and Counterexamples for Some Ortholattice Identities –William Mccune — 1998 — Information Processing Letters |
| Automatic Proofs and Counterexamples for Some Ortholattice Identities –William Mccune — 1998 — Information Processing Letters |
