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.

Interactive Theorem Proving and Finite Projective Planes

Johannes Ueberberg. Interactive Theorem Proving and Finite Projective Planes. In Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, editors, Artificial Intelligence and Symbolic Mathematical Computation, International Conference AISMC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Volume 1138 of Lecture Notes in Computer Science, pages 240-257, Springer, 1996.

Abstract

Abstract is missing.

runs on