Automated deduction in multiple-valued logics
By: Reiner Hähnle.
Series: International series of monographs on computer science ;; 10
Publisher: Clarendon Press; Oxford University Press
Published: 1993
Place of publication: Oxford; New York
Language: eng
Number of pages: 172
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.
Notes: Includes bibliographical references and index.