A Computational Logic Handbook

• Κύριοι συγγραφείς: Moore, J. Strother (Συγγραφέας), Boyer, Robert (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston Academic Press 1988
• Σειρά: Perspectives in computing, ωολ. 23
• Θέματα: ΕΣΑ; Υπολογιστική; HANDBOOK; COMPUTATIONAL LOGIC