0201548860 Addison Wesley pictorial hardcover, 2001, unused and carefully stored, No remainder marks or other defects (as New); We will bubble-wrap the book and ship it in a BOX with free delivery confirmation/tracking.

Bestandsnummer des Verk�ufers TEC1286

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: The Deductive Foundations of Computer Programming
Verlag: Addison-Wesley Professional
Erscheinungsjahr: 1993
Sprache: Englisch
ISBN-10: 0201548860
ISBN-13: 9780201548860
Einband: PAPERBACK
Zustand: Fine

�ber diesen Titel

Inhaltsangabe

Book by Manna Zohar Waldinger Richard

Von der hinteren Coverseite

Logic plays a fundamental role in computer science analogous to that played by calculus in physics and traditional engineering. In software engineering, systems with the ability to perform logical deduction are being applied to the synthesis, verification and transformation of computer programs. In artificial intelligence, such systems are applied to the understanding of natural language and the formation of commonsense and robotic plans. Expert systems, deductive databases, and logic-programming systems may be regarded as rudimentary applications of this new deductive technology.

This book provides a carefully paced introduction to the logical underpinnings of these applications. Exceptionally clear and laced with examples, this book requires no prior knowledge of logic or programming. It interleaves a basic treatment of logic with a discussion of its application in automated deduction. This work provides most readable introduction to the logical concepts and techniques underlying computer programming.

0201548860B04062001

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We are a full time mail order company located in the NW corner of CT. We have been selling books and records worldwide since 1968. We carefully inspect and grade every item, and try to always note defects so there are no surprises.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Paisleyhaze Books
CT, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Versandbedingungen

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. Each book is carefully wrapped in bubble wrap and shipped in a box.