Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry

@inproceedings{Dehlinger2000HigherOrderIF,
  title={Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry},
  author={Christophe Dehlinger and Jean-François Dufourd and Pascal Schreck},
  booktitle={Automated Deduction in Geometry},
  year={2000}
}

Citations

Publications citing this paper.
SHOWING 1-10 OF 27 CITATIONS

Similar Papers

Loading similar papers…