Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Die Klausaltheorie der Typen von D.A. Wolfram (Englisch) Taschenbuch

Ø 0.0
0 Bewertungen
46,19 €

Logic programming was based on first-order logic. Higher-order logics can also lead to theories of theorem-proving. This book introduces just such a theory, based on a lambda-calculus formulation of a clausal logic with equality, known as the Clausal Theory of Types.

Jetzt bei Ebay: