%0 Book %A Hähnle Reiner %C Oxford, New York %8 1993 %D 1993 %7 International series of monographs on computer science %O Automated deduction in multiple-valued logics %K Théorèmes Démonstration automatique %K Logique mathématique %K Logic, Symbolic and mathematical %K Automatic theorem proving %G anglais %I Clarendon Press %I Oxford University Press %@ 0-19-853989-4 %P ix, 172 p. %! Automated deduction in multiple-valued logics %T Automated deduction in multiple-valued logics %[ 2024/03/29