Computing in Horn Clause Theories

• Κύριος συγγραφέας: Padawitz, Peter (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag c1988
• Σειρά: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa 16
• Θέματα: COMPUTER PROGRAMMING; HORN CLAUSES; LOGIC PROGRAMMING; ΕΣΑ