EBOOK

Clausal Form Logic: An Introduction to the Logic of Computer Reasoning

Jetzt
€ 36,99
Bisher € 39,04
 
kartoniert
Besorgung - Lieferbarkeit unbestimmt
Februar 1989

Beschreibung

Beschreibung

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.
EAN: 9780201129205
ISBN: 0201129205
Untertitel: Sprache: Englisch.
Verlag: ADDISON WESLEY PUB CO INC
Erscheinungsdatum: Februar 1989
Seitenanzahl: 359 Seiten
Format: kartoniert
Es gibt zu diesem Artikel noch keine Bewertungen.Kundenbewertung schreiben