Clausal Form Logic: An Introduction to the Logic of Computer Programming (International Computer Science Series) - Softcover

Richards, Tom

 
9780201129205: Clausal Form Logic: An Introduction to the Logic of Computer Programming (International Computer Science Series)
Softcover
ISBN 10: 0201129205 ISBN 13: 9780201129205
Verlag: Addison-Wesley, 1989

Inhaltsangabe

Book by Richards Tom

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

Reseña del editor

Clausal form logic is an important type of formal logic. Having evolved out of human reasoning, it represents the ideas to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-known artificial intelligence language PROLOG

Contraportada

This unique book provides a gentle introduction to an increasingly important type of formal logic called CLAUSAL FORM LOGIC (CFL). Having evolved out of human reasoning, CFL represents the ideal to which all computer-based systems must approximate. Most present day computational logic systems are based on it, including the well-know artificial intelligence language PROLOG.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Addison-Wesley
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
0201129205
ISBN 13 
9780201129205
Einband
Tapa blanda
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar