|
4
|
Automated discovery of single axioms for ortholattices
– W. Mccune, R. Padmanabhan, M. A. Rose, R. Veroff
- 2005
|
|
1
|
Automated Equational Deduction with Otter
– William Mccune, R. Padmanabhan
- 1995
|
|
8
|
A Shortest 2-Basis for Boolean Algebra in Terms of the Sheffer Stroke
– Robert Veroff
- 2003
|
|
30
|
OTTER 3.3 Reference Manual
– William Mccune
|
|
3
|
Yet another single law for lattices
– William Mccune, R. Padmanabhan, Robert Veroff
|
|
2
|
Axiomatizing the Skew Boolean Propositional Calculus
– R. Veroff, M. Spinks
- 2007
|
|
18
|
Short Single Axioms for Boolean Algebra
– William Mccune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos
- 2002
|
|
5
|
Practical Proof Checking for Program Certification
– Geoff Sutcliffe, Ewen Denney, Bernd Fischer
- 2005
|
|
|
Using Automated Theorem Provers in Nonassociative Algebra
– J. D. Phillips
|
|
2
|
Automated theorem proving in quasigroup and loop theory
– J. D. Phillips, David Stanovsky
|
|
|
Automated Deduction in Equational Logic and Geometry
– William Mccune, R. Padmanabhan
- 1995
|
|
23
|
Automated Deduction in Equational Logic and Cubic Curves
– William McCune, R. Padmanabhan
- 1996
|
|
7
|
Using a Theorem Prover for Reasoning on Constraint Problems
– Marco Cadoli, Toni Mancini
|
|
|
Learning From Previous Proof Experience: A Survey
– Jörg Denzinger, Matthias Fuchs, Christoph Goller, Stephan Schulz
- 1999
|
|
|
QUANTUM LOGIC AND QUANTUM COMPUTATION
– Mladen Pavičić, Norman D. Megill
- 812
|
|
1
|
Is Quantum Logic a Logic
– Mladen Pavičić, Norman D. Megill, Result Of Josef Jauch, Constantin Piron
- 2008
|
|
|
Standard Logics Are Valuation-Nonmonotonic
– Mladen Pavičić, Norman D. Megill
- 2008
|
|
|
By
– Norman D. Megill, Mladen Pavičić
- 2001
|
|
2
|
Equations, states, and lattices of infinitedimensional Hilbert space
– Norman D. Megill, Mladen Pavičić
- 2000
|
