Logic programming operational semantics and proof theory

• Main Author: Andrews, James H.
• Format: Book
• Language: English
• Published: [x.τ.] Cambridge University Press 1992
• Series: Distinguished dissertations in computer science
• Subjects: Λογικός προγραμματισμός; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού
• Physical Description: xi, 104 p. 26 cm
• ISBN: 0521432197