michael kohlhase

Grid   List

  1. Symbolic Computation and Automated Reasoning
    Symbolic Computation and Automated Reasoning
    Manfred Kerber
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessa...
    71,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. KI 2006
    KI 2006
    Christian Freksa
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 29th Annual German Conference on Artificial Intelligence, KI 2006, held in Bremen, Germany, in June 2006. This was co-located w...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Mathematical Knowledge Management
    Mathematical Knowledge Management
    Michael Kohlhase
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
    Michael Kohlhase
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Open Mathematical Documents (OMDoc) is a content markup scheme for mathematical documents including articles, textbooks, interactive books, and courses. OMDoc also serves as the content language fo...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Intelligent Computer Mathematics
    Intelligent Computer Mathematics
    Michael Kohlhase
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
    42,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Artificial Intelligence. ECAI 2023 International Workshops
    Artificial Intelligence. ECAI 2023 International Workshops
    Slawomir Nowaczyk
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in...
    106,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Artificial Intelligence. ECAI 2023 International Workshops
    Artificial Intelligence. ECAI 2023 International Workshops
    Slawomir Nowaczyk
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in...
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Symbolic Computation and Automated Reasoning
    Symbolic Computation and Automated Reasoning
    Manfred Kerber
    Taylor & Francis eBooks
    Ebook
    Sofort lieferbar
    While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessa...
    71,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Artificial Intelligence. ECAI 2023 International Workshops
    Artificial Intelligence. ECAI 2023 International Workshops
    S¿awomir Nowaczyk
    Springer Nature Switzerland, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in...
    117,69 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Artificial Intelligence. ECAI 2023 International Workshops
    Artificial Intelligence. ECAI 2023 International Workshops
    S¿awomir Nowaczyk
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Kraków, Poland, in...
    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Robust Argumentation Machines
    Robust Argumentation Machines
    Philipp Cimiano
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 202...
    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
    Michael Kohlhase
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    Computers arechanging the way wethink. Of course,nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>