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; ΕΣΑ
• Περιγραφή τεκμηρίου: bibliography:pp.307-316 Εργαστηριο Συνδυαστικων Αλγοριθμων
• Φυσική περιγραφή: xi, 322p.
• ISBN: 540 19427 4