Author:
Magaud Nicolas,Narboux Julien,Schreck Pascal
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Texts in Theoretical Computer Science. An EATCS Series;Y. Bertot,2004
2. Bezem, M., Hendriks, D.: On the Mechanization of the Proof of Hessenberg’s Theorem in Coherent Logic. Journal of Automated Reasoning 40(1), 61–85 (2008)
3. Buekenhout, F. (ed.): Handbook of Incidence Geometry. North-Holland, Amsterdam (1995)
4. Cerroni, C.: Non-Desarguian Geometries and the Foundations of Geometry from David Hilbert to Ruth Moufang. Historia Mathematica 31(3), 320–336 (2004)
5. Lecture Notes in Computer Science;L. Chicli,2003
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献