Title of article

Automatic proofs and counterexamples for some ortholattice identities

Author/Authors

William McCune، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 1998

Pages

7

From page

285

To page

291

Keywords

Quantum logic , Automatic theorem proving , Theory of computation , Ortholattice

Journal title

Information Processing Letters

Serial Year

1998

Journal title

Information Processing Letters

Record number

128852