Ausverkauft, aber heiß begehrt!
Mehr zum Buch
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.
Buchkauf
The Logical Basis for Computer Programming. Vol. 2, Deductive Systems, Zohar Manna, Richard Waldinger
- Sprache
- Erscheinungsdatum
- 1990
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Hier könnte deine Bewertung stehen.
- Titel
- The Logical Basis for Computer Programming. Vol. 2, Deductive Systems
- Sprache
- Englisch
- Autor*innen
- Zohar Manna, Richard Waldinger
- Verlag
- Addison Wesley
- Erscheinungsdatum
- 1990
- Einband
- Hardcover
- Seitenzahl
- 650
- ISBN10
- 0201182610
- ISBN13
- 9780201182613
- Reihe
- Schlagwörter
- Sachbücher, Technologie & Industrie, Computer & Internet
- Bewertung
- 4,5 von 5 Sternen
- Beschreibung
- 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.