Handbook of practical logic and automated reasoning

• Tác giả: J Harrison
• Ngôn ngữ: eng
• ISBN-10: 0521899575
• ISBN-13: 978-0521899574
• Ký hiệu phân loại: 006.333 *Deduction, problem solving, reasoning
• Thông tin xuất bản: Cambridge ; New York : Cambridge University Press, 2009.
• Mô tả vật lý: xix, 681 p. : , ill. ; , 26 cm.
• Bộ sưu tập: Sách tra cứu
• ID: 112504
• Chủ đề: 1. Computer logic

Includes bibliographical references (p. 631-667) and index.