Logique, réduction, résolution
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Logique, réduction, résolution / René Lalement,...; préf. de Michel Demazure |
Publié : |
Paris, Milan, Barcelone :
Masson
, 1990 |
Description matérielle : | XII-370 p. |
Collection : | E.R.I. Etudes et recherches en informatique. ; 1990 |
Sujets : |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Rez-de-chaussée, salle 2 | 005.131 LAL | Empruntable | Disponible |