Nantilus
Automated deduction in multiple-valued logics
Saved in:
| Main Author : | |
|---|---|
| Format : | Book |
| Language : | anglais |
| Title statement : | Automated deduction in multiple-valued logics / Reiner Hähnle |
| Published : |
Oxford, New York :
Clarendon Press
, 1993 Oxford University Press |
| Physical Description : | ix, 172 p. |
| Series : | International series of monographs on computer science ; 10 |
| Subjects : |
Loading