Erweiterte Suche

Grid  List

  1. Intelligent Technologies and Applications Intelligent Technologies and Applications

    Intelligent Technologies and Applications

    Imran Sarwar Bajwa
    Springer Nature Singapore
    12.03.2019

    This book constitutes the refereed proceedings of the First International Conference on Intellige...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Thirty Five Years of Automating Mathematics Thirty Five Years of Automating Mathematics

    Thirty Five Years of Automating Mathematics

    F. D. Kamareddine
    Springer Netherlands
    22.10.2010

    THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Thirty Five Years of Automating Mathematics Thirty Five Years of Automating Mathematics

    Thirty Five Years of Automating Mathematics

    F. D. Kamareddine
    Springer Netherlands, Springer Netherlands
    30.11.2003

    THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. ...

    Gebunden
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. A Modern Perspective on Type Theory A Modern Perspective on Type Theory

    A Modern Perspective on Type Theory

    F. D. Kamareddine
    Springer Netherlands, Springer Netherlands
    09.06.2004

    `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 192,59 €

    Jetzt 171,19 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. A Modern Perspective on Type Theory A Modern Perspective on Type Theory

    A Modern Perspective on Type Theory

    F. D. Kamareddine
    Springer Netherlands
    22.10.2010

    `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the gene...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 171,19 €

    Jetzt 139,09 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Logical Reasoning Logical Reasoning

    Logical Reasoning

    R. Nederpelt
    College Publications
    02.04.2004

    This book describes how logical reasoning works and puts it to the test in applications. It is se...

    Taschenbuch
    33,90 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Intelligent Computer Mathematics Intelligent Computer Mathematics

    Intelligent Computer Mathematics

    Claudio Sacerdoti Coen
    Springer International Publishing, Springer International Publishing
    10.07.2021

    This book constitutes the refereed proceedings of the 14th International Conference on Intelligen...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  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

    A Century since Principia’s Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin’s 80th Annive

    Fairouz Kamareddine
    College Publications
    11.07.2023

    In 1922,Curry started reading Principia Mathematica and was intrigued by the complications of its...

    Taschenbuch
    26,60 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. A Primer of Mathematical Analysis and the Foundations of Computation A Primer of Mathematical Analysis and the Foundations of Computation

    A Primer of Mathematical Analysis and the Foundations of Computation

    Fairouz Kamareddine
    College Publications
    18.10.2023

    This book is a different approach to teaching the foundations of mathematical analysis and of com...

    Taschenbuch
    28,30 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1