الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Détail de l'auteur
Auteur Francis Renaud |
Documents disponibles écrits par cet auteur
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Interroger des sources externes
Sémantique du temps et lambda-calcul / Francis Renaud
Titre : Sémantique du temps et lambda-calcul Type de document : texte imprimé Auteurs : Francis Renaud Editeur : Paris : Presses universitaires de France Année de publication : 1996 Importance : viii, 252 p. - ISBN/ISSN/EAN : 2-13-047709-7 Langues : Français (fre) Mots-clés : Un outil formel pour la description du temps linguistique une sémantique opératoire du temps lambda-calcul non-typé. Résumé : Sémantique du temps et lambda-calcul [texte imprimé] / Francis Renaud . - Paris : Presses universitaires de France, 1996 . - viii, 252 p. -.
ISBN : 2-13-047709-7
Langues : Français (fre)
Mots-clés : Un outil formel pour la description du temps linguistique une sémantique opératoire du temps lambda-calcul non-typé. Résumé : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité C1-001773 410-185.1 Ouvrage Bibliothèque Centrale 400 - Langues Exclu du prêt