6 found
Order:
  1. P. Braffort & F. van Scheepen (eds.) (1968). Automation in Language Translation and Theorem Proving. Brussels, Commission of the European Communities, Directorate-General for Dissemination of Information.
     
    Export citation  
     
    My bibliography  
  2. P. Braffort (2007). Ernst Glasersfeld's First Scientific Paper. Constructivist Foundations 2 (2-3):12-17.
    Purpose: At Silvio Ceccato’s suggestion, I invited Ernst von Glasersfeld to the “Séminaire Leibniz” which took place in Brussels, in February 1961. The paper he delivered then, Operational Semantics: Analysis of Meaning in Terms of Operations, was included in a Euratom internal report and is published here for the first time. Conclusion: These early works clearly show von Glasersfeld’s methodological and philosophical coherence as well as his faithfulness to Ceccato’s endeavour.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. P. Braffort (2011). Ernst von Glasersfeld's Legacy Is Alive and Well in France and Italy! Constructivist Foundations 6 (2):139-139.
    Upshot: Paul Braffort was in charge of the research department GRISA (Groupe de Recherches sur l’Information Scientifique Automatique) in EURATOM when Ernst von Glasersfeld joined Silvio Ceccato’s group in the early 1960s. With these responsibilities he provided the initial funding for the work on language analysis that later Ernst brought to the US. In his essay Braffort describes von Glasersfeld’s professional involvements in France and Italy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4. Stig Kanger, P. Braffort & D. Hirschberg (1967). A Simplified Proof Method for Elementary Logic. Journal of Symbolic Logic 32 (1):119-119.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5. John Mccarthy, P. Braffort & D. Hirschberg (1968). A Basis for a Mathematical Theory of Computation, Preliminary Report. Journal of Symbolic Logic 33 (1):117-117.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6. J. C. Shepherdson, P. Braffort & D. Hirschberg (1965). Computer Programming and Formal Systems. Philosophical Quarterly 15 (61):371.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography