Logic programming operational semantics and proof theory

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

Πίνακας περιεχομένων:

• Includes appendix, bibliography and index