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