manfred kerber

Grid   List

  1. Twist in der Nacht
    Twist in der Nacht
    Clemens Kerber
    Lied der Zeit Musikverlag GmbH
    Ebook
    Sofort lieferbar
    Hier erhältlich ist die Notenausgabe des Titels für Klavier und Gesang.Das E-Book Twist in der Nacht wird angeboten von Lied der Zeit Musikverlag GmbH und wurde mit folgenden Begriffen kategorisier...
    2,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. 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
  3. Towards Mechanized Mathematical Assistants
    Towards Mechanized Mathematical Assistants
    Manuel Kauers
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Intelligent Computer Mathematics
    Intelligent Computer Mathematics
    Manfred Kerber
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 sh...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Computational Logic - CL 2000
    Computational Logic - CL 2000
    John Lloyd
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conferen...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. 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
  7. Intelligent Computer Mathematics
    Intelligent Computer Mathematics
    Manfred Kerber
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 sh...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  8. Intelligent Computer Mathematics
    Intelligent Computer Mathematics
    Manfred Kerber
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2...
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Towards Mechanized Mathematical Assistants
    Towards Mechanized Mathematical Assistants
    Manuel Kauers
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 16-20
    This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Computational Logic - CL 2000
    Computational Logic - CL 2000
    John Lloyd
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conferen...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>