f d kamareddine

Grid   List

  1. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    Springer Netherlands
    Ebook
    Sofort lieferbar
    This book provides an overview of type theory. The first part of the book is historical, yet at the same time, places historical systems in the modern setting. The second part deals with modern typ...
    128,39 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Intelligent Technologies and Applications
    Intelligent Technologies and Applications
    Imran Sarwar Bajwa
    Springer Nature Singapore
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the First International Conference on Intelligent Technologies and Applications, INTAP 2018, held in Bahawalpur, Pakistan, in October 2018.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. School Farms
    School Farms
    Alshimaa Aboelmakarem Farag
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    This book highlights the potential of school farms to fight hunger and malnutrition by providing access to locally produced, fresh and healthy food as well as providing young students with educatio...
    51,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. School Farms
    School Farms
    Alshimaa Aboelmakarem Farag
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    This book highlights the potential of school farms to fight hunger and malnutrition by providing access to locally produced, fresh and healthy food as well as providing young students with educatio...
    51,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Intelligent Computer Mathematics
    Intelligent Computer Mathematics
    Fairouz Kamareddine
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Thirty Five Years of Automating Mathematics
    Thirty Five Years of Automating Mathematics
    F. D. Kamareddine
    Springer Netherlands
    Ebook
    Sofort lieferbar
    THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Logical Reasoning
    Logical Reasoning
    R. Nederpelt
    College Publications
    Taschenbuch
    Bezug 6-10
    This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics.
    43,45 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. A Century since Principia’s Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin’s 80th Anniversary
    A Century since Principia’s Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin’s 80th Anniversary
    Fairouz Kamareddine
    College Publications
    Taschenbuch
    Bezug 6-10
    In 1922,Curry started reading Principia Mathematica and was intrigued by the complications of its substitution rule. As a result of trying to analyze substitution, Curry conceived the combinators...
    34,43 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. A Primer of Mathematical Analysis and the Foundations of Computation
    A Primer of Mathematical Analysis and the Foundations of Computation
    Fairouz Kamareddine
    College Publications
    Taschenbuch
    Bezug 6-10
    This book is a different approach to teaching the foundations of mathematical analysis and of computation. The main idea is to delay the use of 'formal definitions', which are definitions that nobo...
    35,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    Springer Netherlands, Springer Netherlands
    Taschenbuch
    Bezug 11-15
    `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This l...
    195,90 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Thirty Five Years of Automating Mathematics
    Thirty Five Years of Automating Mathematics
    F. D. Kamareddine
    Springer Netherlands, Springer Netherlands
    Buch
    Bezug 11-15
    THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a...
    125,28 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    Springer Netherlands, Springer Netherlands
    Buch
    Bezug 11-15
    `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This l...
    219,44 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>