Hakutulokset: Kirjoja kirjailijalta Reinhard Kahle
yhteensä 14 hakutulosta
Paul Bernays
Advances in Proof Theory
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 …
Limits of AI - theoretical, practical, ethical
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 …
Grenzen der KI – theoretisch, praktisch, ethisch
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 …
Computer Science Logic
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 …
Axiomatic Thinking II
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 …
Gentzen's Centenary
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 …
Intensionality
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 …
Intensionality
A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. …
Axiomatic Thinking I
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 …
Proof Theory in Computer Science
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 …
Heroes, Heroines, and Everything in Between
Current characters in children’s entertainment media illustrate a growing trend of representations that challenge or subvert traditional notions of gender and sexuality. From films …