The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science) - Hardcover

Manna, Zohar; Waldinger, Richard; Manna, Johar

 
9780201182613: The Logical Basis for Computer Programming: Deductive Systems (Addison-Wesley Series in Computer Science)
Hardcover
ISBN 10: 0201182610 ISBN 13: 9780201182613
Verlag: Addison Wesley, 1990

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Addison Wesley
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0201182610
ISBN 13 
9780201182613
Einband
Gebundene Ausgabe
Anzahl der Seiten
650
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
GS1 Slovakia
https://www.gs1sk.org

Nantersk� 23
Žilina
010 08
Slowakei