A Treatise on Many-Valued Logics (STUDIES IN LOGIC AND COMPUTATION) - Hardcover

Gottwald, Siegfried

 
9780863802621: A Treatise on Many-Valued Logics (STUDIES IN LOGIC AND COMPUTATION)
Hardcover
ISBN 10: 0863802621 ISBN 13: 9780863802621
Verlag: Research Studies Press, 2000

Inhaltsangabe

For advanced undergraduate students of logic or computer science with a knowledge of elementary notions from classical logic and set theory, and lattices and other algebraic structures, Gottwald (logic and philosophy of science, U. of Leipzig, Germany) explains the theory underling many-valued logic, and surveys a broad class of applications. It is the growing applications that have driven recent interest in the logic, especially in computer science for automated theorem proving, approximate reasoning, multi-agent systems, switching theory, program verification, and other tricks. Annotation c. Book News, Inc., Portland, OR (booknews.com)

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

Verlag
Research Studies Press
Erscheinungsdatum
2000
Sprache
Englisch
ISBN 10 
0863802621
ISBN 13 
9780863802621
Einband
Gebundene Ausgabe
Anzahl der Seiten
604
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar