From logic to logic programming

• Main Author: Doets, Kees
• Format: Book
• Language: English
• Published: Cambridge, Massachusetts The MIT Press 1994
• Series: Foundations of computing series
• Subjects: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός
• Physical Description: xii, 214 p. 24 cm.
• Bibliography: Includes bibliography and index
• ISBN: 0262041421