Filtrera

Språk
  • (10)
  • (1)
Ämne
  • (11)
  • (1)
  • (5)
Format
  • (1)
  • (5)
  • (5)
Utgivningsår
  • (1)
  • (10)
Leveranstid
  • (5)
  • (6)

Michael Kohlhase - Böcker

Visar alla böcker av Michael Kohlhase. Handla med fri frakt och snabb leverans!

Sortering:

  1. Symbolic Computation and Automated Reasoning E-bok

    av Manfred Kerber, Michael Kohlhase

    E-bok (PDF, LCP), Engelska, 2001-04-02
    776
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Symbolic Computation and Automated Reasoning

    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 necessary. This has made deduction systems indispensable ...

    Läs mer »

  2. Symbolic Computation and Automated Reasoning

    av Manfred Kerber, Michael Kohlhase

    Inbunden, Engelska, 2001-04-01
    1238
    Köp
    Skickas från oss inom 10-15 vardagar.
    Symbolic Computation and Automated Reasoning

    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 necessary. This has made deduction systems indispensable ...

    Läs mer »

  3. Intelligent Computer Mathematics

    av Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo De Moura, Frank Tompa

    Häftad, Engelska, 2016-07-12
    483
    Köp
    Skickas från oss inom 10-15 vardagar.
    Intelligent Computer Mathematics

    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and...

    Läs mer »

  4. Intelligent Computer Mathematics E-bok

    av Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo De Moura, Frank Tompa

    E-bok (PDF, LCP), Engelska, 2016-07-11
    630
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Intelligent Computer Mathematics

    This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 short papers presented were carefull...

    Läs mer »

  5. Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung

    av Axel Adrian, Martin Zwickel, Michael Kohlhase

    Häftad, Tyska, 2022-07-01
    1115
    Köp
    Skickas från oss inom 5-8 vardagar.
    Digitalisierung Von Zivilprozess Und Rechtsdurchsetzung

    Rechtsdienstleistungen werden digitalisiert und auch die Ziviljustiz arbeitet an der »Modernisierung des Zivilprozesses«. In dem Tagungsband werden dabei aufkommende rechtliche Fragen diskutiert und um die Expertise aus der Informatik ergänzt. Pra...

    Läs mer »

  6. Mathematical Knowledge Management

    av Michael Kohlhase

    Häftad, Engelska, 2006-02-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    Mathematical Knowledge Management

    This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 1517, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute fo...

    Läs mer »

  7. Mathematical Knowledge Management E-bok

    av Michael Kohlhase

    E-bok (PDF, LCP), Engelska, 2006-01-20
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Mathematical Knowledge Management

    This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15-17, 2005 at - ternational University Bremen, Germany. Previous conferences have been at the Research Institute f...

    Läs mer »

  8. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

    av Michael Kohlhase

    Häftad, Engelska, 2006-08-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

    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 Im not referring to that. I mean that people have b...

    Läs mer »

  9. OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] E-bok

    av Michael Kohlhase

    E-bok (PDF, LCP), Engelska, 2006-10-04
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]

    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'm not referring to that. I mean that people have ...

    Läs mer »

  10. KI 2006

    av Christian Freksa, Michael Kohlhase, Kerstin Schill

    Häftad, Engelska, 2007-01-01
    760
    Köp
    Skickas från oss inom 7-10 vardagar.
    KI 2006

    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 with RoboCup 2006, the innovative robot soccer worl...

    Läs mer »

  11. KI 2006 E-bok

    av Christian Freksa, Michael Kohlhase, Kerstin Schill

    E-bok (PDF, LCP), Engelska, 2007-08-21
    746
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    KI 2006

    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 with RoboCup 2006, the innovative robot soccer worl...

    Läs mer »