الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'Un outil formel pour la description du temps linguistique'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette 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