Reinhard Kahle – författare

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

16 produkter

Kategorier

16 produkter

Intensionality
Lecture Notes in Logic 22
AvReinhard Kahle
Inbunden, Engelska, 2005
2 299 kr
Skickas inom 10-15 vardagar
Intensionality
Lecture Notes in Logic 22
AvReinhard Kahle
Häftad, Engelska, 2005
999 kr
Skickas inom 10-15 vardagar
Legacy of Kurt Schütte
AvReinhard Kahle,Michael Rathjen
Inbunden, Engelska, 2020
1 699 kr
Skickas inom 10-15 vardagar
Legacy of Kurt Schütte
AvReinhard Kahle,Michael Rathjen
Häftad, Engelska, 2021
1 699 kr
Skickas inom 10-15 vardagar
Axiomatic Thinking I
AvFernando Ferreira,Reinhard Kahlem. fl.
Inbunden, Engelska, 2022
1 279 kr
Skickas inom 10-15 vardagar
Axiomatic Thinking I
AvFernando Ferreira,Reinhard Kahlem. fl.
Häftad, Engelska, 2023
1 279 kr
Skickas inom 10-15 vardagar
Axiomatic Thinking II
AvFernando Ferreira,Reinhard Kahlem. fl.
Inbunden, Engelska, 2022
1 559 kr
Skickas inom 10-15 vardagar
Axiomatic Thinking II
AvFernando Ferreira,Reinhard Kahlem. fl.
Häftad, Engelska, 2023
1 559 kr
Skickas inom 10-15 vardagar
Del 15551
Del 15551 - Lecture Notes in Computer Science
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4–5, 2024, Revised Selected Papers
AvJosé Proença,Raul Fervarim. fl.
Häftad, Engelska, 2025
1 079 kr
Skickas inom 5-8 vardagar
Gentzen's Centenary
The Quest for Consistency
AvReinhard Kahle,Michael Rathjen
Häftad, Engelska, 2015
2 269 kr
Skickas inom 10-15 vardagar
Advances in Proof Theory
AvReinhard Kahle,Thomas Strahmm. fl.
Inbunden, Engelska, 2016
1 419 kr
Skickas inom 10-15 vardagar
Advances in Proof Theory
AvReinhard Kahle,Thomas Strahmm. fl.
Häftad, Engelska, 2018
1 419 kr
Skickas inom 10-15 vardagar
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
AvReinhard Kahle,Peter Schroeder-Heisterm. fl.
Häftad, Engelska, 2001
709 kr
Skickas inom 10-15 vardagar
Computer Science Logic
23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
AvErich Grädel,Reinhard Kahle
Häftad, Engelska, 2009
1 419 kr
Skickas inom 10-15 vardagar
Grenzen der KI – theoretisch, praktisch, ethisch
AvKlaus Mainzer,Reinhard Kahle
Häftad, Tyska, 2022
379 kr
Skickas inom 3-6 vardagar
Limits of AI - theoretical, practical, ethical
AvKlaus Mainzer,Reinhard Kahle
Häftad, Engelska, 2024
399 kr
Skickas inom 10-15 vardagar