Automated deduction in multiple-valued logics
Author(s)
Bibliographic Information
Automated deduction in multiple-valued logics
(International series of monographs on computer science, 10)
Clarendon Press , Oxford University Press, 1993
Available at / 16 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. [156]-168) and index