Automated Deduction In Multiple‑. . .
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 1993 |
| Authors | Hhnle Reiner |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2253285 |
About Automated Deduction In Multiple‑. . .
This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL). It is the first overview of this area, and it contains a virtually complete account of other approaches to automated reasoning in MVL. . . .