A computational logic handbook

• Κύριοι συγγραφείς: Boyer, Robert (Συγγραφέας), Moore, J. Strother (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: San Diego Academic Press 1998
• Έκδοση: 2nd ed.
• Σειρά: Academic Press International Series in Formal Methods / Micahel G. Hinchey
• Θέματα: ΕΣΑ; HANDBOOK; Υπολογιστική; COMPUTATIONAL LOGIC
• Περιγραφή τεκμηρίου: Τομέας Εφαρμογών και Θεμελιώσεων της Επιστήμης των Υπολογιστών. Εργαστήριο Συνδυαστικών Αλγορίθμων
• Φυσική περιγραφή: xxv,518p.
• ISBN: 0 12 122955 6