A computational logic handbook

• Main Authors: Boyer, Robert (Author), Moore, J. Strother (Author)
• Format: Book
• Language: English
• Published: San Diego Academic Press 1998
• Edition: 2nd ed.
• Series: Academic Press International Series in Formal Methods / Micahel G. Hinchey
• Subjects: ΕΣΑ; HANDBOOK; Υπολογιστική; COMPUTATIONAL LOGIC
• Item Description: Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών. Εργαστήριο Συνδυαστικών Αλγορίθμων
• Physical Description: xxv,518p.
• ISBN: 0 12 122955 6