Reinhard Kahle – författare
Visar alla böcker från författaren Reinhard Kahle. Handla med fri frakt och snabb leverans.
29 produkter
Intensionality
Lecture Notes in Logic 22
E-bok, 2005
915 kr
Lägg i varukorg
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted …
Intensionality
E-bok
1026 kr
Lägg i varukorg
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the twenty-second publication in the …
Intensionality
Lecture Notes in Logic 22
E-bok, 2005
915 kr
Lägg i varukorg
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted …
Intensionality
Lecture Notes in Logic 22
Inbunden, 2005
1837 kr
Lägg i varukorg
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted …
Intensionality
Lecture Notes in Logic 22
Häftad, 2005
798 kr
Lägg i varukorg
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles address philosophical issues raised by the possible worlds approach to intensionality; others are devoted …
Legacy of Kurt Schütte
Av Reinhard Kahle, Michael Rathjen
Inbunden, 2020
1316 kr
Lägg i varukorg
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to investigation by mathematical methods …
Legacy of Kurt Schutte
Av Michael Rathjen, Reinhard Kahle
E-bok, 2020
1746 kr
Lägg i varukorg
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to investigation by mathematical methods …
Legacy of Kurt Schütte
Av Reinhard Kahle, Michael Rathjen
Häftad, 2021
1316 kr
Lägg i varukorg
This book on proof theory centers around the legacy of Kurt Schütte and its current impact on the subject. Schütte was the last doctoral student of David Hilbert who was the first to see that proofs can be viewed as structured mathematical objects amenable to investigation by mathematical methods …
Axiomatic Thinking I
Av Fernando Ferreira, Reinhard Kahle m. fl.
Inbunden, 2022
989 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
Axiomatic Thinking I
Av Giovanni Sommaruga, Reinhard Kahle m. fl.
E-bok, 2022
1276 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert''s axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name …
Axiomatic Thinking I
Av Fernando Ferreira, Reinhard Kahle m. fl.
Häftad, 2023
989 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
Axiomatic Thinking II
Av Fernando Ferreira, Reinhard Kahle m. fl.
Inbunden, 2022
1207 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
Axiomatic Thinking II
Av Giovanni Sommaruga, Reinhard Kahle m. fl.
E-bok, 2022
1570 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert''s axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name …
Axiomatic Thinking II
Av Fernando Ferreira, Reinhard Kahle m. fl.
Häftad, 2023
1207 kr
Lägg i varukorg
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere.The title takes its name from …
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, 2025
832 kr
Lägg i varukorg
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were …
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
Av Graham Pluck, Reinhard Kahle m. fl.
E-bok, 2025
1091 kr
Lägg i varukorg
This volume constitutes the papers of two workshops which were held in conjunction with the 22nd International Workshop on Software Engineering and Formal Methods, SEFM 2024 Collocated Workshops, held in Aveiro, Portugal, during November 4-5, 2024. The 20 full papers presented in this book were …
Gentzen's Centenary
The Quest for Consistency
Av Reinhard Kahle, Michael Rathjen
Häftad, 2015
1752 kr
Lägg i varukorg
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and …
Gentzen's Centenary
The Quest for Consistency
Av Michael Rathjen, Reinhard Kahle
E-bok, 2015
2274 kr
Lägg i varukorg
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and …
Advances in Proof Theory
Av Reinhard Kahle, Thomas Strahm m. fl.
Inbunden, 2016
1098 kr
Lägg i varukorg
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and …
Advances in Proof Theory
Av Thomas Studer, Thomas Strahm m. fl.
E-bok, 2016
1420 kr
Lägg i varukorg
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and …
Advances in Proof Theory
Av Reinhard Kahle, Thomas Strahm m. fl.
Häftad, 2018
1098 kr
Lägg i varukorg
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas. Some emphasis will be put on ordinal analysis, reductive proof theory, explicit mathematics and …
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, 2001
551 kr
Lägg i varukorg
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed …
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Av Robert Stark, Peter Schroeder-Heister m. fl.
E-bok, 2003
718 kr
Lägg i varukorg
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed …
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, 2009
1098 kr
Lägg i varukorg
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7–11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- …
Computer Science Logic
23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Av Reinhard Kahle, Erich Gradel
E-bok, 2009
1416 kr
Lägg i varukorg
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7–11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- …
Grenzen der KI – theoretisch, praktisch, ethisch
Av Klaus Mainzer, Reinhard Kahle
Häftad, 2022
297 kr
Lägg i varukorg
Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch in der Industrie große Erwartungen verbunden sind. In diesem Buch werden sowohl die Perspektiven als auch die Grenzen dieser Technologie diskutiert. Das betrifft die praktischen, theoretischen und …
Grenzen der KI – theoretisch, praktisch, ethisch
Av Reinhard Kahle, Klaus Mainzer
E-bok, 2022
319 kr
Lägg i varukorg
Künstliche Intelligenz ist eine Schlüsseltechnologie, mit der sowohl in der Wissenschaft als auch in der Industrie große Erwartungen verbunden sind. In diesem Buch werden sowohl die Perspektiven als auch die Grenzen dieser Technologie diskutiert. Das betrifft die praktischen, theoretischen und …
Limits of AI - theoretical, practical, ethical
Av Klaus Mainzer, Reinhard Kahle
Häftad, 2024
306 kr
Lägg i varukorg
Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has to face. In an early phase …
Limits of AI - theoretical, practical, ethical
Av Reinhard Kahle, Klaus Mainzer
E-bok, 2024
399 kr
Lägg i varukorg
Artificial intelligence is a key technology with great expectations in science, industry, and everyday life. This book discusses both the perspectives and the limitations of this technology. This concerns the practical, theoretical, and conceptual challenges that AI has to face. In an early phase …
