著者
書誌事項
Études et recherches en informatique
Masson
この図書・雑誌をさがす
関連文献： 9件中 1-9を表示
-
1
- Lambda-calcul : types et modèles
-
Jean-Louis Krivine
Masson 1990 Études et recherches en informatique
所蔵館5館
-
2
- Logique, réduction, résolution
-
René Lalement ; préface de Michel Demazure
Masson 1990 Études et recherches en informatique
所蔵館2館
-
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
所蔵館2館
-
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
所蔵館1館
-
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
所蔵館2館
-
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
所蔵館1館
-
8
- Génération automatique de textes en langues naturelles
-
Laurence Danlos
Masson 1985 Études et recherches en informatique
所蔵館2館
-
9
- Les séries rationnelles et leurs langages
-
J. Berstel & C. Reutenauer
Masson 1984 Études et recherches en informatique
所蔵館3館
