RAATZ – författare

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

2 produkter

1. 

   Graph-Based Proof Procedures for Horn Clauses

   Av RAATZ

   Häftad, 1990

   545 kr

   Lägg i varukorg

   The origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerned with proof procedures for the Horn clause subset of logic. The rise of logic programming has made this an important area of study. All Prologs are based on a variant of …

2. 

   Graph-Based Proof Procedures for Horn Clauses

   Av RAATZ

   E-bok, 2013

   723 kr

   Lägg i varukorg

   The origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerned with proof procedures for the Horn clause subset of logic. The rise of logic programming has made this an important area of study. All Prologs are based on a variant of …