Items related to The Logical Basis for Computer Programming. Volume...

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

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

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.

"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

FREE shipping within U.S.A.

Destination, rates & speeds

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

Stock Image

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 5-star rating, Learn more about seller ratings

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

Buy Used

US$ 43.24
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Manna, Zohar
Published by Addison Wesley, 1990
ISBN 10: 0201182610 ISBN 13: 9780201182613
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Gut. Zustand: Gut | Seiten: 650 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 38615693/3

Contact seller

Buy Used

US$ 27.01
Convert currency
Shipping: US$ 51.26
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Manna, Zohar; Waldinger, Richard; Manna, Johar:
ISBN 10: 0201182610 ISBN 13: 9780201182613
Used Karton

Seller: Antiquariat Bernhardt, Kassel, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Karton. Condition: Gut. Zust: Gutes Exemplar.Mit Vorbesitzereintrag. 650 S. Englisch 1000g. Seller Inventory # 493643

Contact seller

Buy Used

US$ 64.19
Convert currency
Shipping: US$ 40.95
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket