-
TaschenbuchSofort lieferbarKünstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch...
-
EbookSofort lieferbar
Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch...
-
EbookSofort lieferbar
This book on proof theory centers around the legacy of Kurt Schütte and its current impact o...
-
EbookSofort lieferbar
The aim of this volume is to collect original contributions by the best specialists from the...
-
EbookSofort lieferbar
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilb...
-
EbookSofort lieferbar
Gerhard Gentzen has been described as logics lost genius, whom Gödel called a better logician ...
-
EbookSofort lieferbar
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilb...
-
- 1