Normal view MARC view ISBD view

Logique, réduction, résolution [] / René Lalement,... ; préf. de Michel Demazure

Auteur principal : Lalement, RenéAuteur secondaire : : Demazure, Michel, 1937-...., Préfacier, etc.Publication :Paris, Milan, Barcelone [etc.] : Masson, 1990, 61-Alençon : Normandie impr.Description : 1 vol. (xii-370 p.) : ill., couv. ill. ; 24 cmISBN : 2-225-82104-6.Dewey: 670Classification : QA 76.6 ; F.4 ; 03B70, 2000 ; 03B35, 2000 ; 68N01, 2000 ; 03-01, 2000 ; 68-01, 2000 ; 68T15, 2000 ; 68Q65, 2000 ; 03B40, 2000Bibliographie: Bibliogr. p. 359-363. Index.Sujet - Nom d'actualité : Informatique -- Mathématiques ;Logique ;Lambda-calcul ;Logique symbolique et mathématique ;Traitement automatique des données ;Programmation logique ;Programmation dynamique ;Programmation (mathématiques) Sujet : Programmation logique ;Programmation fonctionnelle ;Logique combinatoire ;Lambda calcul ;Réduction ;Logique ;Informatique ;LOGIQUE ;LAMBDA CALCUL ;LANGAGE ML ;SYSTEME DE REECRITURE ;CALCULABILITE ;MACHINE DE TURING ;DECIDABILITE ;THEORIE DE LA COMPLEXITE ;Langage PROLOG Sujet Catégorie : H-INF.TH
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI200-062 Sur demande CRI01282D
Sophia Antipolis
Salle de lecture
EMS 110-C/N 2843 Sur demande EMS01137D

Bibliogr. p. 359-363. Index

Powered by Koha