From logic to logic programming

• Κύριος συγγραφέας: Doets, Kees
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Massachusetts The MIT Press 1994
• Σειρά: Foundations of computing series
• Θέματα: Ηλεκτρονικοί υπολογιστές > Προγραμματισμός