مرکز منطقه ای اطلاع رساني علوم و فناوري - Automatic proofs and counterexamples for some ortholattice identities

Title of article :

Automatic proofs and counterexamples for some ortholattice identities

Author/Authors :

William McCune، نويسنده ,

Issue Information :

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

Pages :

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

Link To Document :