Nantilus
Démonstration automatique : techniques de réécriture
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Démonstration automatique : techniques de réécriture / Michaël Rusinowitch |
| Publié : |
Paris :
InterEditions
, 1989 |
| Description matérielle : | 1 vol. (150 p.) |
| Collection : | Science informatique (Paris) |
| Sujets : |
| Bibliographie : | Bibliogr. p. 131-144. Index |
|---|---|
| ISBN : | 2-7296-0263-1 |