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.
Sparad:
| Övriga upphovsmän: | , , , |
|---|---|
| Materialtyp: | Bok |
| Språk: | French |
| Publicerad: |
Paris :
Hermes,
1994.
|
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Thư viện lưu trữ: | Mạng thư viện Đại học Đà Nẵng |
|---|
| Sammanfattning: | 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. |
|---|---|
| Fysisk beskrivning: | 168 p. ; 23 cm. |
| ISBN: | 2866014200 |
| ISSN: | T |