Author(s)
Bibliographic Information
Études et recherches en informatique
Masson
Search this Book/Journal
Related Books： 1-9 of 9
-
1
- Lambda-calcul : types et modèles
-
Jean-Louis Krivine
Masson 1990 Études et recherches en informatique
Available at 5 libraries
-
2
- Logique, réduction, résolution
-
René Lalement ; préface de Michel Demazure
Masson 1990 Études et recherches en informatique
Available at 2 libraries
-
3
- Outils logiques pour le traitement du temps : de la linguistique à l'intelligence artificielle
-
Hélène Bestougeff, Gérard Ligozat
Masson 1989 Études et recherches en informatique
Available at 2 libraries
-
4
- Aspects mathématiques des réseaux de pétri
-
C. Reutenauer
Masson 1988 Études et recherches en informatique
-
5
- Langages algébriques
-
J.-M. Autebert
Masson 1987 Études et recherches en informatique
Available at 1 libraries
-
6
- Computers and computing : proceedings of the international conference Future trends of computing dedicated to N. Gastinel, Grenoble, December 2-6, 1985 = Informatique et calcul : actes du congrès international Le calcul-- demain en hommage à N. Gastinel, Grenoble, 2-6 décembre 1985
-
edited by Patrick Chenin, Claire di Crescenzo, François Robert
Wiley , Masson 1986 Études et recherches en informatique
us , fre
Available at 2 libraries
-
7
- Calcul formel : systemes et algorithmes de manipulations algebriques
-
J. Davenport, Y. Siret, et E. Tournier , introduction du Pr. D. Lazard
Masson c1986 Études et recherches en informatique
Available at 1 libraries
-
8
- Génération automatique de textes en langues naturelles
-
Laurence Danlos
Masson 1985 Études et recherches en informatique
Available at 2 libraries
-
9
- Les séries rationnelles et leurs langages
-
J. Berstel & C. Reutenauer
Masson 1984 Études et recherches en informatique
Available at 3 libraries
