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: Λογική, Συμβολική και μαθηματική; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές