Automated deduction in multiple-valued logics

Bibliographic Information

Automated deduction in multiple-valued logics

Reiner Hähnle

(International series of monographs on computer science, 10)

Clarendon Press , Oxford University Press, 1993

Available at  / 16 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [156]-168) and index

Related Books: 1-1 of 1

Details

Page Top