Computing in Horn Clause Theories

• Main Author: Padawitz, Peter (Author)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag c1988
• Series: EATCS Monographs in Theoretical Computer Science / W. Brauer, G. Rozenberg, A. Salomaa 16
• Subjects: COMPUTER PROGRAMMING; HORN CLAUSES; LOGIC PROGRAMMING; ΕΣΑ
• Item Description: bibliography:pp.307-316 Εργαστηριο Συνδυαστικων Αλγοριθμων
• Physical Description: xi, 322p.
• ISBN: 540 19427 4