Reinhard Kahle – författare

Visar alla böcker från författaren Reinhard Kahle.

16 produkter

1. 

   Intensionality

   Lecture Notes in Logic 22

   Av Reinhard Kahle

   Inbunden, 2005

   2369 kr

   Lägg i varukorg

2. 

   Intensionality

   Lecture Notes in Logic 22

   Av Reinhard Kahle

   Häftad, 2005

   1029 kr

   Lägg i varukorg

3. 

   Legacy of Kurt Schütte

   Av Reinhard Kahle, Michael Rathjen

   Inbunden, 2020

   1689 kr

   Lägg i varukorg

4. 

   Legacy of Kurt Schütte

   Av Reinhard Kahle, Michael Rathjen

   Häftad, 2021

   1689 kr

   Lägg i varukorg

5. 

   Axiomatic Thinking I

   Av Fernando Ferreira, Reinhard Kahle m. fl.

   Inbunden, 2022

   1269 kr

   Lägg i varukorg

6. 

   Axiomatic Thinking I

   Av Fernando Ferreira, Reinhard Kahle m. fl.

   Häftad, 2023

   1269 kr

   Lägg i varukorg

7. 

   Axiomatic Thinking II

   Av Fernando Ferreira, Reinhard Kahle m. fl.

   Inbunden, 2022

   1549 kr

   Lägg i varukorg

8. 

   Axiomatic Thinking II

   Av Fernando Ferreira, Reinhard Kahle m. fl.

   Häftad, 2023

   1549 kr

   Lägg i varukorg

9. 

   Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

   ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers

   Av José Proença, Raul Fervari m. fl.

   Häftad, 2025

   1069 kr

   Lägg i varukorg

10. 

    Gentzen's Centenary

    The Quest for Consistency

    Av Reinhard Kahle, Michael Rathjen

    Häftad, 2015

    2249 kr

    Lägg i varukorg

11. 

    Advances in Proof Theory

    Av Reinhard Kahle, Thomas Strahm m. fl.

    Inbunden, 2016

    1409 kr

    Lägg i varukorg

12. 

    Advances in Proof Theory

    Av Reinhard Kahle, Thomas Strahm m. fl.

    Häftad, 2018

    1409 kr

    Lägg i varukorg

13. 

    Proof Theory in Computer Science

    International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

    Av Reinhard Kahle, Peter Schroeder-Heister m. fl.

    Häftad, 2001

    709 kr

    Lägg i varukorg

14. 

    Computer Science Logic

    23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

    Av Erich Grädel, Reinhard Kahle

    Häftad, 2009

    1409 kr

    Lägg i varukorg

15. 

    Grenzen der KI – theoretisch, praktisch, ethisch

    Av Klaus Mainzer, Reinhard Kahle

    Häftad, 2022

    389 kr

    Lägg i varukorg

16. 

    Limits of AI - theoretical, practical, ethical

    Av Klaus Mainzer, Reinhard Kahle

    Häftad, 2024

    389 kr

    Lägg i varukorg