Exemplaires: Logique, réduction, résolution

Enregistré dans:

Détails bibliographiques
Auteur principal :	Lalement René
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 :	Logique mathématique

Informations d'exemplaires de BU Sciences
‌	Cote	Prêt	Statut
Rez-de-chaussée, salle 2	005.131 LAL	Empruntable	Disponible