The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)

Manna, Zohar; Waldinger, Richard; Manna, Johar

ISBN 10: 0201182610 / ISBN 13: 9780201182613

Published by Addison-Wesley, 1990

About this Item

Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service.

Seller Inventory # ZEV.0201182610.G

Bibliographic Details

• Title: The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
• Publisher: Addison-Wesley
• Publication Date: 1990
• Language: English
• ISBN 10: 0201182610
• ISBN 13: 9780201182613
• Binding: Hardcover
• Condition: good

About this title

Synopsis

Once the province of philosophy, logic has found increasing application in computer science, especially in software engineering and artificial intelligence. Systems with the ability to perform logical deduction are being applied to the synthesis, verification, and transformation of computer programs, to the understanding of natural language, and to the formation of commonsense and robotic plans. Expert systems and logic-programming systems (such as Prolog) may all be regarded as rudimentary applications of a new deductive technology.