Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2011
Julien Narboux : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00644313
Soumis le : jeudi 24 novembre 2011-10:25:40
Dernière modification le : lundi 13 novembre 2023-10:56:04
Citer
Julien Narboux, Schreck Pascal, Jürgen Richter-Gebert (Dir.). Automated Deduction in Geometry - 8th International Workshop, Revised Selected Papers. Pascal Schreck and Julien Narboux and Jürgen Richter-Gebert. Springer, 6877, pp.258, 2011, Lecture Notes in Computer Science, 978-3-642-25069-9. ⟨10.1007/978-3-642-25070-5⟩. ⟨hal-00644313⟩
Collections
56
Consultations
0
Téléchargements