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 : |
Bib. IUT de Nantes - Joffre
| | Cote | Prêt | Statut |
|---|---|---|---|
| Site Joffre | 700-76 | Prêt sans prolongation | Disponible |