A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
8 résultat(s) recherche sur le mot-clé 'langage formel'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Automath. A language for mathematics / Nicolaas Govert de BRUIJN (DL 1973)
Titre : Automath. A language for mathematics Type de document : texte imprimé Auteurs : Nicolaas Govert de BRUIJN, Auteur Editeur : Montréal [Canada] : Les Presses de l'Université de Montréal Année de publication : DL 1973 Collection : Séminaire de mathématiques supérieures, ISSN 0544-9758 num. 52 Importance : 62 p. ISBN/ISSN/EAN : 978-0-8405-0223-0 Langues : Anglais Mots-clés : AUTOMATH langage formel Note de contenu : bibliogr. Automath. A language for mathematics [texte imprimé] / Nicolaas Govert de BRUIJN, Auteur . - Montréal (3744, rue Jean-Brillant, local 6310, H3T 1P1, Canada) : Les Presses de l'Université de Montréal, DL 1973 . - 62 p.. - (Séminaire de mathématiques supérieures, ISSN 0544-9758; 52) .
ISBN : 978-0-8405-0223-0
Langues : Anglais
Mots-clés : AUTOMATH langage formel Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10481 SMS 52 Livre Recherche Salle Disponible Formal languages: automata and structures / Erwin ENGELER (Cop. 1968)
Titre : Formal languages: automata and structures Type de document : texte imprimé Auteurs : Erwin ENGELER, Auteur Editeur : Chicago [U.S.A.] : Markham Publishing Company Année de publication : Cop. 1968 Importance : VII-81 p. Langues : Anglais Mots-clés : algorithme langage formel théorie des automates mathématiques informatique Note de contenu : références Formal languages: automata and structures [texte imprimé] / Erwin ENGELER, Auteur . - Chicago (U.S.A.) : Markham Publishing Company, Cop. 1968 . - VII-81 p.
Langues : Anglais
Mots-clés : algorithme langage formel théorie des automates mathématiques informatique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5476 ENG/02/3629 Livre Recherche Salle Disponible Introduction to languages, machines and logic / Alan P. PARKES (Cop. 2002)
Titre : Introduction to languages, machines and logic : computable languages, abstract machines and formal logic Type de document : texte imprimé Auteurs : Alan P. PARKES, Auteur Editeur : Londres : Springer-Verlag Année de publication : Cop. 2002 Importance : XI-351 p. Présentation : ill. ISBN/ISSN/EAN : 978-1-85233-464-2 Langues : Anglais Mots-clés : langage formel machine logique formelle Note de contenu : index Introduction to languages, machines and logic : computable languages, abstract machines and formal logic [texte imprimé] / Alan P. PARKES, Auteur . - Londres : Springer-Verlag, Cop. 2002 . - XI-351 p. : ill.
ISBN : 978-1-85233-464-2
Langues : Anglais
Mots-clés : langage formel machine logique formelle Note de contenu : index Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 19005 PAR/68/7581 Livre Recherche Salle Disponible Notions sur les grammaires formelles / Maurice GROSS (1970)
Titre : Notions sur les grammaires formelles Type de document : texte imprimé Auteurs : Maurice GROSS, Auteur ; André LENTIN, Auteur ; Noam CHOMSKY, Préfacier, etc. Mention d'édition : 2e éd. revue et corrigée Editeur : Paris : Gauthier-Villars Année de publication : 1970 Collection : Programmation Langues : Français Mots-clés : langage formel algorithme linguistique mathématique Note de contenu : bibliogr. Notions sur les grammaires formelles [texte imprimé] / Maurice GROSS, Auteur ; André LENTIN, Auteur ; Noam CHOMSKY, Préfacier, etc. . - 2e éd. revue et corrigée . - Paris : Gauthier-Villars, 1970. - (Programmation) .
Langues : Français
Mots-clés : langage formel algorithme linguistique mathématique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 16794 GRO/02/7285 Livre Recherche Salle Disponible Notions sur les grammaires formelles / Maurice GROSS (1967)
Titre : Notions sur les grammaires formelles Type de document : texte imprimé Auteurs : Maurice GROSS, Auteur ; André LENTIN, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1967 Collection : Collection de programmation Importance : 196 p. Langues : Français Mots-clés : langage formel algorithme linguistique mathématique Note de contenu : bibliogr. Notions sur les grammaires formelles [texte imprimé] / Maurice GROSS, Auteur ; André LENTIN, Auteur . - Paris : Gauthier-Villars, 1967 . - 196 p.. - (Collection de programmation) .
Langues : Français
Mots-clés : langage formel algorithme linguistique mathématique Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5493 GRO/02/3940 a Livre Recherche Salle Disponible 5494 GRO/02/3940 b Livre Recherche Salle Disponible PermalinkToward a systematic pragmatics / R. M. MARTIN (1959)
PermalinkWord processing in groups / David B.A. EPSTEIN (cop. 1992)
Permalink