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