reinhard kahle

Grid   List

  1. Verantwortung
    Verantwortung
    Reinhard Kahle
    Brill Mentis, Brill | mentis
    Buch
    Sofort lieferbar
    Verantwortung: Dieser Begriff prägt derzeit viele aktuelle Debatten in Gesellschaft und Wissenschaft. Das Buch versucht eine Präzisierung des Begriffs, indem es die Ausgestaltung von Verantwortung ...
    86,00 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  2. Gentzen’s Centenary
    Gentzen’s Centenary
    Reinhard Kahle
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Advances in Proof Theory
    Advances in Proof Theory
    Reinhard Kahle
    Springer International Publishing
    Ebook
    Sofort lieferbar
    ¿Proof theory came into being in the twenties of the last century, when it was inaugurated by David Hilbert in order to secure the foundations of mathematics. It was substantially influenced by Göd...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Intensionality
    Intensionality
    Reinhard Kahle
    Cambridge University Press
    Ebook
    Sofort lieferbar
    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 ...
    99,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Intensionality
    Intensionality
    Reinhard Kahle
    Taylor & Francis
    Ebook
    Sofort lieferbar
    A compilation of articles about Intensionality in philosophy, logic, linguistics, and mathematics. The articles approach the concept of Intensionality from different perspectives. Some articles add...
    62,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Computer Science Logic
    Computer Science Logic
    Erich Grädel
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. The Legacy of Kurt Schütte
    The Legacy of Kurt Schütte
    Reinhard Kahle
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    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 proof...
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Proof Theory in Computer Science
    Proof Theory in Computer Science
    Reinhard Kahle
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 theor...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Axiomatic Thinking II
    Axiomatic Thinking II
    Fernando Ferreira
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Axiomatic Thinking I
    Axiomatic Thinking I
    Fernando Ferreira
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The contributions are addressed to mathematical and philosophical logicians, but also to philosophers of science as well as physicists and computer scientists with an interest in foundations.Chapte...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Grenzen der KI - theoretisch, praktisch, ethisch
    Grenzen der KI - theoretisch, praktisch, ethisch
    Klaus Mainzer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 al...
    19,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Limits of AI - theoretical, practical, ethical
    Limits of AI - theoretical, practical, ethical
    Klaus Mainzer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 c...
    28,88 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>