Proceedings/Recueil Des Communications
Année : 2006
Lip6 Publications : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01351431
Soumis le : mercredi 3 août 2016-16:50:38
Dernière modification le : mardi 11 avril 2023-15:16:28
Citer
Hoon Hong, Dongming Wang. Automated Deduction in Geometry. 3763, Springer-Verlag, 2006, Lecture Notes in Artificial Intelligence, ⟨10.1007/11615798⟩. ⟨hal-01351431⟩
Collections
55
Consultations
0
Téléchargements