Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="DOETS, Kees"
cover
From Logic to Logic Programming
Comment Share
DOETS, Kees

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains ele…

Edition
-
ISBN/ISSN
9780262288477
Collation
1 online resource (xii, 214 pages) :illustrations.
Series Title
-
Call Number
-