Computing in Horn clause theories

• Κύριος συγγραφέας: Padawitz, Peter
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag 1988
• Σειρά: EATCS monographs on theoretical computer science 16
• Θέματα: Λογική, Συμβολική και μαθηματική; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές