Computational logic [electronic resource] : logic programming and beyond

• Tác giả: Antonis C Kakas, Robert Kowalski, Fariba Sadri
• Ngôn ngữ: eng
• ISBN-10: 3540439595
• Ký hiệu phân loại: 005.115 Logic programming
• Thông tin xuất bản: Berlin ; New York : Springer, 2002.
• Bộ sưu tập: Công nghệ thông tin
• ID: 28957
• Chủ đề: 1. Automatic theorem proving; 2. Logic programming languages; 3. Logic programming

Includes bibliographical references and index.