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
    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...
    50,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. School Farms
    School Farms
    Alshimaa Aboelmakarem Farag
    Taylor & Francis
    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...
    50,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. A Modern Perspective on Type Theory
    A Modern Perspective on Type Theory
    F. D. Kamareddine
    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...
    134,55 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. 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...
    182,96 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Thirty Five Years of Automating Mathematics
    Thirty Five Years of Automating Mathematics
    F. D. Kamareddine
    Springer Netherlands
    Taschenbuch
    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...
    106,12 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Intelligent Technologies and Applications
    Intelligent Technologies and Applications
    Imran Sarwar Bajwa
    Springer Nature Singapore
    Taschenbuch
    Bezug 11-15
    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. ...
    103,66 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. School Farms
    School Farms
    Alshimaa Aboelmakarem Farag
    Taylor & Francis Ltd
    Taschenbuch
    Bezug 11-15
    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 educ...
    47,06 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Logical Reasoning
    Logical Reasoning
    R. Nederpelt
    College Publications
    Taschenbuch
    Bezug 16-20
    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.
    41,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>