MPG.eBooks - Author Search Results

Cover Image

1

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

by Kahle, Reinhard
Published 2001

Springer-Verlag Berlin Heidelberg

Cover Image

2

Grenzen der KI – theoretisch, praktisch, ethisch

by Mainzer, Klaus, Kahle, Reinhard
Published 2022

Springer Berlin Heidelberg

Cover Image

3

Limits of AI - theoretical, practical, ethical

by Mainzer, Klaus, Kahle, Reinhard
Published 2024

Springer Berlin Heidelberg

Cover Image

4

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

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Kahle, Reinhard...”

Cover Image

5

Gentzen's Centenary : The Quest for Consistency

Published 2015

Springer International Publishing

Other Authors: “...Kahle, Reinhard...”

Cover Image

6

The Legacy of Kurt Schütte

Published 2020

Springer International Publishing

Other Authors: “...Kahle, Reinhard...”

Cover Image

7

Advances in Proof Theory

Published 2016

Springer International Publishing

Other Authors: “...Kahle, Reinhard...”

Cover Image

8

Axiomatic Thinking I

Published 2022

Springer International Publishing

Other Authors: “...Kahle, Reinhard...”

Cover Image

9

Axiomatic Thinking II

Published 2022

Springer International Publishing

Other Authors: “...Kahle, Reinhard...”

Cover Image

10

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings

Published 2001

Springer Berlin Heidelberg

Other Authors: “...Kahle, Reinhard...”