Die Klausaltheorie der Typen von D.A. Wolfram (Englisch) Taschenbuch
58,64 €
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:
