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 Deductive Systems (v.2) (The Logical Basis for Computer...
Stock Image
The Logical Basis for Computer Programming Vol. II : Deductive Systems
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # GRP70053661
Stock Image
The Logical Basis for Computer Programming Vol. II : Deductive Systems
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. Seller Inventory # 11100190-6
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
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: Good. It's a preowned item in good condition and includes all the pages. It may have some general signs of wear and tear, such as markings, highlighting, slight damage to the cover, minimal wear to the binding, etc., but they will not affect the overall reading experience. Seller Inventory # 0201182610-11-1
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
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
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