Automated Deduction in Geometry - 8th International Workshop, Revised Selected Papers

Type de document :
Direction d'ouvrage, Proceedings, Dossier
Pascal Schreck and Julien Narboux and Jürgen Richter-Gebert. France. 6877, Springer, pp.258, 2011, Lecture Notes in Computer Science, 978-3-642-25069-9. 〈10.1007/978-3-642-25070-5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00644313
Contributeur : Julien Narboux <>
Soumis le : jeudi 24 novembre 2011 - 10:25:40
Dernière modification le : samedi 13 janvier 2018 - 01:03:22

Identifiants

Collections

Citation

Julien Narboux, Schreck Pascal, Jürgen Richter-Gebert. Automated Deduction in Geometry - 8th International Workshop, Revised Selected Papers. Pascal Schreck and Julien Narboux and Jürgen Richter-Gebert. France. 6877, Springer, pp.258, 2011, Lecture Notes in Computer Science, 978-3-642-25069-9. 〈10.1007/978-3-642-25070-5〉. 〈hal-00644313〉

Partager

Métriques

Consultations de la notice

94