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

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

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

Verlag
Addison-Wesley
Erscheinungsdatum
1989
Sprache
Englisch
ISBN 10 
0201129205
ISBN 13 
9780201129205
Einband
Taschenbuch
Anzahl der Seiten
359
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar