VANCOUVER Edition Citation

1.
Automated deduction in multiple-valued logics. Oxford, New York: Clarendon Press; 1993.

ISO690 Edition Citation

Automated deduction in multiple-valued logics. Oxford, New York : Clarendon Press, 19 avril 1993. ISBN 0-19-853989-4

Style de citation APA (7e éd.)

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%.