From Logic to Logic Programming

by Kees Doets

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0262041421
• ISBN13: 9780262041423
• Release Date: January 1994
• Publisher: MIT Press
• Length: 228 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.7" x 7.2" x 9.4"
• Age Range: 18 years and up
• Grade Range: Postsecondary and higher