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

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

Inbunden, Engelska, 2005

1 929 kr

Skickas inom 10-15 vardagar

Intensionality

Lecture Notes in Logic 22

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

Häftad, Engelska, 2005

869 kr

Skickas inom 10-15 vardagar

Legacy of Kurt Schütte

Av Reinhard Kahle, Michael Rathjen

Inbunden, Engelska, 2020

1 679 kr

Skickas inom 10-15 vardagar

Legacy of Kurt Schütte

Av Reinhard Kahle, Michael Rathjen

Häftad, Engelska, 2021

1 679 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking I

Av Fernando Ferreira, Reinhard Kahle m. fl

Inbunden, Engelska, 2022

1 259 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking I

Av Fernando Ferreira, Reinhard Kahle m. fl

Häftad, Engelska, 2023

1 259 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking II

Av Fernando Ferreira, Reinhard Kahle m. fl

Inbunden, Engelska, 2022

1 399 kr

Skickas inom 10-15 vardagar

Axiomatic Thinking II

Av Fernando Ferreira, Reinhard Kahle m. fl

Häftad, Engelska, 2023

1 399 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

Av José 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

Av Reinhard Kahle, Michael Rathjen

Häftad, Engelska, 2015

2 049 kr

Skickas inom 10-15 vardagar

Advances in Proof Theory

Av Reinhard Kahle, Thomas Strahm m. fl

Inbunden, Engelska, 2016

1 399 kr

Skickas inom 10-15 vardagar

Advances in Proof Theory

Av Reinhard Kahle, Thomas Strahm m. fl

Häftad, Engelska, 2018

1 399 kr

Skickas inom 10-15 vardagar

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, 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

Av Erich Grädel, Reinhard Kahle

Häftad, Engelska, 2009

1 409 kr

Skickas inom 10-15 vardagar

Grenzen der KI – theoretisch, praktisch, ethisch

Av Klaus Mainzer, Reinhard Kahle

Häftad, Tyska, 2022

379 kr

Skickas inom 10-15 vardagar

Limits of AI - theoretical, practical, ethical

Av Klaus Mainzer, Reinhard Kahle

Häftad, Engelska, 2024

419 kr

Skickas inom 10-15 vardagar