A TREATISE ON MANY VALUED LOGICS (HB 2001). Questo articolo non è disponibile.
Lingua: inglese
Editore: MISCLENIOUS PUBLISHERS, 2001
- Rilegato
- Nuovo
Da: UK BOOKS STORE, London, London, Regno UnitoUK BOOKS STORE
Venditore con 5 stelle
Venditore AbeBooks dal 11 marzo 2024
Edizione Internazionale
Non disponibile
Rilegato
Condizione: Nuovo
EUR 134,99
Descrizione dell’articolo da parte del venditore
Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
Codice articolo CVS 9780863802621
- Titolo
- A TREATISE ON MANY VALUED LOGICS (HB 2001)
- Autore
- GOTTWALD S
- Editore
- MISCLENIOUS PUBLISHERS
- Anno di pubblicazione
- 2001
- Condizione
- New
- Rilegatura
- Rilegato
- Lingua
- inglese
- ISBN 10
- 0863802621
- ISBN 13
- 9780863802621
- Edizione
- Edizione Internazionale
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)
"Riassunto" può appartenere a un’altra edizione di questo titolo.