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

Inbunden, Engelska, 2005

2 109 kr

Skickas inom 10-15 vardagar

Intensionality

Lecture Notes in Logic 22

AvReinhard Kahle

Häftad, Engelska, 2005

909 kr

Skickas inom 10-15 vardagar

Legacy of Kurt Schütte

AvReinhard Kahle,Michael Rathjen

Inbunden, Engelska, 2020

1 669 kr

Skickas inom 10-15 vardagar

Legacy of Kurt Schütte

AvReinhard Kahle,Michael Rathjen

Häftad, Engelska, 2021

1 669 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking I

AvFernando Ferreira,Reinhard Kahlem. fl.

Inbunden, Engelska, 2022

1 249 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking I

AvFernando Ferreira,Reinhard Kahlem. fl.

Häftad, Engelska, 2023

1 249 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking II

AvFernando Ferreira,Reinhard Kahlem. fl.

Inbunden, Engelska, 2022

1 529 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking II

AvFernando Ferreira,Reinhard Kahlem. fl.

Häftad, Engelska, 2023

1 529 kr

Skickas inom 10-15 vardagar

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 059 kr

Skickas inom 7-10 vardagar

Gentzen's Centenary

The Quest for Consistency

AvReinhard Kahle,Michael Rathjen

Häftad, Engelska, 2015

2 199 kr

Skickas inom 10-15 vardagar

Del 28 - Progress in Computer Science and Applied Logic

Advances in Proof Theory

AvReinhard Kahle,Thomas Strahmm. fl.

Inbunden, Engelska, 2016

1 389 kr

Skickas inom 10-15 vardagar

Del 28 - Progress in Computer Science and Applied Logic

Advances in Proof Theory

AvReinhard Kahle,Thomas Strahmm. 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-Heisterm. 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

369 kr

Skickas inom 3-6 vardagar

Limits of AI - theoretical, practical, ethical

AvKlaus Mainzer,Reinhard Kahle

Häftad, Engelska, 2024

389 kr

Skickas inom 7-10 vardagar