Eléments de géométrie mécanique /

Visages de la géométrie.Méthodes de déduction automatique pour la géométrie. Résolution d' eéquations par la réécriture. Problème d' unification géométrique.

שמור ב:
מידע ביבליוגרפי
מחברים אחרים: Dugat, Vincent., Cerro, Luis Farinas del Cerro., Lopez, Anne., Balbiani, Philppe.
פורמט: ספר
שפה:French
יצא לאור: Paris : Hermes, 1994.
נושאים:
תגים: הוספת תג
אין תגיות, היה/י הראשונ/ה לתייג את הרשומה!
Thư viện lưu trữ: Mạng thư viện Đại học Đà Nẵng
תיאור
סיכום:Visages de la géométrie.Méthodes de déduction automatique pour la géométrie. Résolution d' eéquations par la réécriture. Problème d' unification géométrique.
תיאור פיזי:168 p. ; 23 cm.
ISBN:2866014200
ISSN:T