Catalogue en ligne Bibliothèque Centrale Université de Laghouat

Titre :	Lambda-calcul : types et modèles
Type de document :	texte imprimé
Auteurs :	Jean-Louis Krivine, Auteur
Editeur :	Paris : Masson
Année de publication :	1990
Collection :	Etudes et recherches en informatique
Importance :	VIII-176 p.
Présentation :	couv. ill. en coul.
Format :	25 cm.
ISBN/ISSN/EAN :	978-2-225-82091-5
Note générale :	Bibliogr. p. 167-170. Index
Langues :	Français (fre)
Catégories :	INFORMATIQUE:07.Mathématique pour l'informatique
Mots-clés :	Lambda-calcul Logique mathématique Logique combinatoire

Code-barres	Cote	Support	Localisation	Section	Disponibilité
INF 07.64.03	INF 07.64.03	Livre interne	BIBLIOTHEQUE CENTRALE	Informatique (bc)	Disponible
511.3-7/2	511.3-7/2	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Mathématique (TEC)	Disponible
511.3-7/5	511.3-7/5	Livre externe	BIBLIOTHEQUE DE FACULTE DE TECHNOLOGIE	Mathématique (TEC)	Disponible
511.3-9-1	511.3-9-1	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Informatique (SCI)	Disponible
511.3-9-2	511.3-9-2	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible
511.3-9-3	511.3-9-3	Livre externe	BIBLIOTHEQUE DE FACULTE DES SCIENCES	Mathématique (SCI)	Disponible