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, 2 mai 1993. ISBN 0-19-853989-4

APA (7th ed.) Citation

Hähnle Reiner. (1993). Automated deduction in multiple-valued logics. Clarendon Press.

MLA (8th ed.) Citation

Hähnle Reiner. Automated Deduction in Multiple-valued Logics. Clarendon Press, 1993.

Warning: These citations may not always be 100% accurate.