Computing in Horn clause theories

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