James H. Andrews – författare

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

1 produkter

1. 

   Logic Programming

   Operational Semantics and Proof Theory

   Av James H. Andrews

   Häftad, 2004

   687 kr

   Lägg i varukorg

   Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in …