D. A. Wolfram – författare

Visar alla böcker från författaren D. A. Wolfram. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   The Clausal Theory of Types

   Av D. A. Wolfram

   Häftad, 2009

   502 kr

   Lägg i varukorg

   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. By restricting this logic to …

2. 

   The Clausal Theory of Types

   Av D. A. Wolfram

   Inbunden, 1993

   1089 kr

   Lägg i varukorg

   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. By restricting this logic to …