Hoppa till sidans huvudinnehåll

Reinhard Kahle - Böcker

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

Intensionality

Lecture Notes in Logic 22

AvReinhard Kahle,USA) Kahle, Reinhard (University of Illinois, Urbana

Inbunden, Engelska, 2005

2 069 kr

Skickas inom 10-15 vardagar

Intensionality

Lecture Notes in Logic 22

AvReinhard Kahle,USA) Kahle, Reinhard (University of Illinois, Urbana

Häftad, Engelska, 2005

909 kr

Skickas inom 10-15 vardagar

Legacy of Kurt Schütte

AvReinhard Kahle,Michael Rathjen

Inbunden, Engelska, 2020

1 659 kr

Skickas inom 10-15 vardagar

Legacy of Kurt Schütte

AvReinhard Kahle,Michael Rathjen

Häftad, Engelska, 2021

1 659 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking I

AvFernando Ferreira,Reinhard Kahle m. fl.

Inbunden, Engelska, 2022

1 249 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking I

AvFernando Ferreira,Reinhard Kahle m. fl.

Häftad, Engelska, 2023

1 249 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking II

AvFernando Ferreira,Reinhard Kahle m. fl.

Inbunden, Engelska, 2022

1 389 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking II

AvFernando Ferreira,Reinhard Kahle m. fl.

Häftad, Engelska, 2023

1 389 kr

Skickas inom 10-15 vardagar

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 Fervari m. fl.

Häftad, Engelska, 2025

1 209 kr

Skickas inom 10-15 vardagar

Gentzen's Centenary

The Quest for Consistency

AvReinhard Kahle,Michael Rathjen

Häftad, Engelska, 2015

2 029 kr

Skickas inom 10-15 vardagar

Advances in Proof Theory

AvReinhard Kahle,Thomas Strahm m. fl.

Inbunden, Engelska, 2016

1 389 kr

Skickas inom 10-15 vardagar

Advances in Proof Theory

AvReinhard Kahle,Thomas Strahm m. fl.

Häftad, Engelska, 2018

1 389 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-Heister m. fl.

Häftad, Engelska, 2001

699 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 389 kr

Skickas inom 10-15 vardagar

Grenzen der KI – theoretisch, praktisch, ethisch

AvKlaus Mainzer,Reinhard Kahle

Häftad, Tyska, 2022

359 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