Search results for ‘James H. Andrews (Simon Fraser University, British Columbia)’

Filter & Refine

      Cover image for Logic Programming: Operational Semantics and Proof Theory
      Paperback
      Add to list Added to list

      Logic Programming: Operational Semantics and Proof Theory

      James H. Andrews (Simon Fraser University, British Columbia)

      The author provides a homogeneous treatment of the semantics of both theoretical and practical logic programming languages. Researchers interested in logic programming or semantics, as well as artificial intelligence search…

      $71.99

      Available to order, ships in approx 2 weeksAvailable to order