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.
Enregistré dans:
| Autres auteurs: | , , , |
|---|---|
| Format: | Livre |
| Langue: | French |
| Publié: |
Paris :
Hermes,
1994.
|
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Thư viện lưu trữ: | Mạng thư viện Đại học Đà Nẵng |
|---|
| Résumé: | 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. |
|---|---|
| Description matérielle: | 168 p. ; 23 cm. |
| ISBN: | 2866014200 |
| ISSN: | T |