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: Λογικός προγραμματισμός; Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού

Table of Contents:

• Includes appendix, bibliography and index