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.
Đã lưu trong:
| 其他作者: | , , , |
|---|---|
| 格式: | 圖書 |
| 語言: | 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 |