1.
Automated deduction in multiple-valued logics. Oxford, New York: Clarendon Press; 1993.
Automated deduction in multiple-valued logics. Oxford, New York : Clarendon Press, 19 avril 1993. ISBN 0-19-853989-4
Hähnle Reiner. (1993). Automated deduction in multiple-valued logics. Clarendon Press.
Style de citation MLA (8e éd.)Hähnle Reiner. Automated Deduction in Multiple-valued Logics. Clarendon Press, 1993.
Attention : ces citations peuvent ne pas être correctes à 100%.