‎FONDEMENTS DES MATHEMATIQUES, LES MACHINES MATHEMA (Colloque)‎
‎Colloque sur les fondements des mathématiques, LES MACHINES MATHEMATIQUES ET LEURS APPLICATIONS. Tihany, 11-15 Septembre 1962 -- EDITION ORIGINALE‎

‎P., Gauthier-Villars, 1965, un volume in 8, reliure souple de l'éditeur, 317pp.‎

Reference : 2130

‎---- EDITION ORIGINALE ---- Fondements des mathématiques et logique mathématique - Théorie abstraite des automates et des calculatrices électroniques -Théorie des circuits - Linguistiques mathématique et traduction automatique - Calculatrices digitales et programmation - Applications des calculatrices à l'économie - L'intelligence artificielle, machines à auto-apprentissage - Becvar (J.). Universal Turing machine with a programming tape - Church (A.). An independence question in recursive arithmetic - Watanabe (S.). A mathematical explication of inductive inference - Frey (T.). Uber den Kalmarschen Begriff des Rechenautomaten - Kalmar (L.). On an algebraic theory of automatic digital computers - Peter (R.). Programmierung und partiel-rekursive Funktionen - Destouches (J.L.). Sur certains aspects du problème de l'automatisation des systèmes industriels - etc**2130/P5DE‎