Computing in Horn clause theories

• Main Author: Padawitz, Peter
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag 1988
• Series: EATCS monographs on theoretical computer science 16
• Subjects: Λογική, Συμβολική και μαθηματική; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές
• Physical Description: xi, 322 p. fig. 26 cm.
• Bibliography: Includes references and indexes
• ISBN: 3540194274