Automated deduction in multiple-valued logics /

Bibliographic Details
Main Author:	Hähnle, Reiner
Format:	Book
Language:	English
Published:	Oxford : New York : Clarendon Press ; Oxford University Press, 1993.
Series:	International series of monographs on computer science ; 10.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical. Computers > Mathematical logic

Remote Storage