External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

An Automated Deduction of the Relative Strength of Orthomodular and Weakly Orthomodular Lattice Theory

Jack Horner. An Automated Deduction of the Relative Strength of Orthomodular and Weakly Orthomodular Lattice Theory. In Hamid R. Arabnia, David de la Fuente, José Angel Olivas, editors, Proceedings of the 2009 International Conference on Artificial Intelligence, ICAI 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes. pages 525-530, CSREA Press, 2009.

Abstract

Abstract is missing.

runs on