Two cryptomorphic formalizations of projective incidence geometry
In: Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019-04-01), Heft 2-4, S. 193-212
Online
academicJournal
Zugriff:
Titel: |
Two cryptomorphic formalizations of projective incidence geometry
|
---|---|
Autor/in / Beteiligte Person: | Braun, David ; Magaud, Nicolas ; Schreck, Pascal |
Link: | |
Zeitschrift: | Annals of Mathematics and Artificial Intelligence, Jg. 85 (2019-04-01), Heft 2-4, S. 193-212 |
Veröffentlichung: | 2019 |
Medientyp: | academicJournal |
ISSN: | 1012-2443 (print) ; 1573-7470 (print) |
DOI: | 10.1007/s10472-018-9604-z |
Sonstiges: |
|