Bokus

Reinhard Kahle

Visar alla böcker från författaren Reinhard Kahle. Handla med fri frakt och snabb leverans.

  1. Intensionality

    Intensionality

    2005

  2. Legacy of Kurt Schütte

    Legacy of Kurt Schütte

    2020

  3. Axiomatic Thinking I

    Axiomatic Thinking I

    2022

  4. Axiomatic Thinking II

    Axiomatic Thinking II

    2022

  5. Advances in Proof Theory

    Advances in Proof Theory

    2016

  6. Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

    Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

    2025

  7. Gentzen's Centenary

    Gentzen's Centenary

    2015

  8. Proof Theory in Computer Science

    Proof Theory in Computer Science

    2001

  9. Computer Science Logic

    Computer Science Logic

    2009

  10. Grenzen der KI – theoretisch, praktisch, ethisch

    Grenzen der KI – theoretisch, praktisch, ethisch

    2022

  11. Grenzen der KI – theoretisch, praktisch, ethisch

    Grenzen der KI – theoretisch, praktisch, ethisch

    2022

  12. Limits of AI - theoretical, practical, ethical

    Limits of AI - theoretical, practical, ethical

    2024

  13. Limits of AI - theoretical, practical, ethical

    Limits of AI - theoretical, practical, ethical

    2024