Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski

• 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: Heidelberg ; New York : Springer, 2002.
• Mô tả vật lý: v. : , ill. ; , 24 cm.
• Bộ sưu tập: Công nghệ thông tin
• ID: 30609
• Chủ đề: 1. Automatic theorem proving; 2. Logic programming languages; 3. Logic programming

Includes bibliographical references and index.