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
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.
Search results for The Logical Basis for Computer Programming. Volume...
Stock Image
The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
Published by
Addison-Wesley (edition ), 1990
ISBN 10: 0201182610
ISBN 13: 9780201182613
Used
Hardcover
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Fair. The item might be beaten up but readable. May contain markings or highlighting, as well as stains, bent corners, or any other major defect, but the text is not obscured in any way. Seller Inventory # 0201182610-7-1
Stock Image
The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
Seller: World of Books (was SecondSale), Montgomery, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Item in very good condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. Seller Inventory # 00097923247
Seller Image
The Logical Basis for Computer Programming. Volume II: Deductive Systems (Addison-Wesley Series in Computer Science)
Seller: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Seller Inventory # OTV.0201182610.G
Stock Image
The Logical Basis for Computer Programming: Deductive Systems
Published by
Pearson Education Limited, 1990
ISBN 10: 0201182610
ISBN 13: 9780201182613
Used
Hardcover
Seller: World of Books Inc, Montgomery, IL, U.S.A.
Seller rating 2 out of 5 stars
Hardback. Condition: Very Good. Seller Inventory # CIN0201182610VG
Stock Image
The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)
Seller: book-link, Nufringen, BW, Germany
Seller rating 5 out of 5 stars
hardcover. Condition: Sehr gut. 650 Seiten; M25-07-R-05-VG Sprache: Deutsch Gewicht in Gramm: 2. Seller Inventory # 35512
Buy Used
US$ 39.30
US$ 58.05 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
The Logical Basis for Computer Programming. VOLUME II : Deductive Systems (Addison-Wesley Series in Computer Science)
Published by
Addison Wesley Publishing Company, 1990
ISBN 10: 0201182610
ISBN 13: 9780201182613
Used
Karton Karton
Seller: Antiquariat Bernhardt, Kassel, Germany
Seller rating 5 out of 5 stars
Karton Karton. Condition: Gut. 650 S. Zust: Gutes Exemplar.Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1000. Seller Inventory # 493643
Buy Used
US$ 40.74
US$ 58.05 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut | Seiten: 650 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 38615693/3
Buy Used
US$ 35.73
US$ 122.16 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available