Logic programming operational semantics and proof theory

• Κύριος συγγραφέας: Andrews, James H.
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: [x.τ.] Cambridge University Press 1992
• Σειρά: Distinguished dissertations in computer science
• Θέματα: Λογικός προγραμματισμός; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού
• Φυσική περιγραφή: xi, 104 p. 26 cm
• ISBN: 0521432197