From logic to logic programming

• Main Author: Doets, Kees (Author)
• Format: Book
• Language: English
• Published: Cambridge Mass Massachusetts Institute of Technology Cambridge Mass. c1994
• Series: Foundations of Computing Series
• Subjects: COMPUTER PROGRAMMING; LOGIC PROGRAMMING; ΕΠΕΑΕΚ