A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'système formel' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externesComputer programming and formal systems / P. BRAFFORT (1963)
Titre : Computer programming and formal systems Type de document : texte imprimé Auteurs : P. BRAFFORT, Editeur scientifique ; D. HIRSCHBERG, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1963 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VI-161 p. Langues : Anglais Mots-clés : programmation système formel informatique Note de contenu : références Computer programming and formal systems [texte imprimé] / P. BRAFFORT, Editeur scientifique ; D. HIRSCHBERG, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1963 . - VI-161 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : programmation système formel informatique Note de contenu : références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 8611 BRA/68/1977 Livre Recherche Salle Disponible
Titre : Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963 Type de document : texte imprimé Auteurs : J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique Editeur : Amsterdam : North-Holland Publishing Company Année de publication : 1965 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : 320 p. Langues : Anglais Mots-clés : système formel fonction récursive Formal systems and recursive functions : proceeding of the eighth Logic Colloquium, Oxford, july 1963 [texte imprimé] / J. N. CROSSLEY, Editeur scientifique ; M. A. E. DUMMETT, Editeur scientifique . - Amsterdam : North-Holland Publishing Company, 1965 . - 320 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : système formel fonction récursive Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5467 CRO/02/2638 Livre Recherche Salle Disponible
Titre : Introduction to automata Type de document : texte imprimé Auteurs : R. J. NELSON, Auteur Editeur : New York [U.S.A] : John Wiley & Sons Année de publication : Cop. 1968 Importance : XII-400 p. Présentation : ill. Langues : Anglais Mots-clés : automatisme système formel générateur machine de Turing Note de contenu : index, bibliogr. Introduction to automata [texte imprimé] / R. J. NELSON, Auteur . - New York (U.S.A) : John Wiley & Sons, Cop. 1968 . - XII-400 p. : ill.
Langues : Anglais
Mots-clés : automatisme système formel générateur machine de Turing Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10949 NEL/95/3749 Livre Recherche Salle Disponible
Titre : Mathematical interpretation of formal systems Type de document : texte imprimé Auteurs : Th. SKOLEM, Auteur ; Gisbert HASENJAEGER, Auteur ; Georg KREISEL, Auteur Editeur : Amsterdam : North-Holland Publishing Company Année de publication : Cop. 1955 Collection : Studies in logic and the foundations of mathematics, ISSN 0049-237X Importance : VIII-113 p. Langues : Anglais Mots-clés : système formel Note de contenu : bibliogr. Mathematical interpretation of formal systems [texte imprimé] / Th. SKOLEM, Auteur ; Gisbert HASENJAEGER, Auteur ; Georg KREISEL, Auteur . - Amsterdam : North-Holland Publishing Company, Cop. 1955 . - VIII-113 p.. - (Studies in logic and the foundations of mathematics, ISSN 0049-237X) .
Langues : Anglais
Mots-clés : système formel Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5549 SKO/02/1548 Livre Recherche Salle Disponible
Titre : Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs Type de document : texte imprimé Auteurs : Jean PORTE, Auteur Editeur : Paris : Gauthier-Villars Année de publication : DL 1965 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique Sous-collection : Série A. Monographies réunies par Mme P. Février num. XVIII Importance : 146 p. Langues : Français Mots-clés : système formel système connectif histoire des sciences Note de contenu : index, références Recherches sur la théorie générale des systèmes formels et sur les systèmes connectifs [texte imprimé] / Jean PORTE, Auteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, DL 1965 . - 146 p.. - (Collection de logique mathématique. Série A. Monographies réunies par Mme P. Février; XVIII) .
Langues : Français
Mots-clés : système formel système connectif histoire des sciences Note de contenu : index, références Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5541 POR/02/2717 Livre Recherche Salle Disponible i1217 POR/02/i1217 Livre Recherche Salle Disponible
