The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)
Language: English
Published by Addison Wesley, 1990
- Hardcover
- Used

Seller: Buchpark, Trebbin, GermanyBuchpark
5-star seller
AbeBooks seller since September 30, 2021
Hardcover
Condition: Used - Very good
US$ 35.67
US$ 121.95 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
Zustand: Gut | Seiten: 650 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Seller Inventory # 38615693/3
- Title
- The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)
- Author
- Manna, Zohar
- Publisher
- Addison Wesley
- Publication year
- 1990
- Condition
- Gut
- Binding
- Hardcover
- Language
- English
- ISBN 10
- 0201182610
- ISBN 13
- 9780201182613
- Seller catalogs
- Bücher
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.
Shipping rates from Germany to U.S.A.
| Item | 60 to 60 business days | 60 to 60 business days |
|---|---|---|
| First item | US$ 121.95 | US$ 150.98 |
Payment methods
- Bank Wire Transfer
- Check
- Paypal
Store description
Seit über 30 Jahren handeln wir mit Büchern. Begonnen hat alles als kleiner Fachbuchhandel in Berlin. Heute sind wir spezialisiert auf den An- und Verkauf gebrauchter Bücher. Noch immer liegt unser Fokus dabei auf den Kategorien: Fachbuch und englischsprachige Literatur. Hinzu kommen Bücher aus allen anderen Genres, wie Belletristik, Biografien oder Kinderbücher. Unser oberstes Ziel ist dabei die Weiterverwendung von Dingen und die Schonung von Ressourcen.
Neben dem Ankauf von privaten Büchern oder Haushaltsauflösungen kaufen wir bundesweit komplette Bibliotheken und Buchbestände von Institutionen auf, um diese nachhaltig ein weiteres Mal auf den Markt zu bringen.
Parallel dazu bietet Buchpark die Möglichkeit, große Mengen einzulagern. Ganze Bibliotheken und umfangreiche Buchbestände werden von uns professionell auf Qualitätsmerkmale hin untersucht und sorgfältig für den Onlinehandel aufbereitet.
Wir schenken Büchern ein zweites Leben.
Seller's business information
Buchpark GmbH
Krügerweg 1
Trebbin, Germany 14959