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

Manna, Zohar; Waldinger, Richard; Manna, Johar

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

Hardcover

ISBN 10: 0201182610 ISBN 13: 9780201182613

Publisher: Addison-Wesley, 1990

View all copies of this ISBN edition

3 Used

From US$ 43.24

0 New

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.

"synopsis" may belong to another edition of this title.

PublisherAddison-Wesley
Publication date1990
ISBN 10 0201182610
ISBN 13 9780201182613
BindingHardcover
LanguageEnglish
Number of pages650

Buy Used

Condition: Good

Former library book; may include...

View this item

US$ 43.24

Convert currency

FREE shipping within U.S.A.

Destination, rates & speeds

Add to basket

Free 30-day returns

Search results for The Logical Basis for Computer Programming. Volume...

Stock Image

The Logical Basis for Computer Programming Vol. II : Deductive Systems

Waldinger, Richard, Manna, Zohar

Published by Addison-Wesley, 1990

ISBN 10: 0201182610 ISBN 13: 9780201182613

Used Hardcover

Seller: Better World Books, Mishawaka, IN, U.S.A.

Seller rating 5 out of 5 stars

Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # 11100190-6

Contact seller