Style de citation APA

Chang, C., & Lee, R. C. (1973). Symbolic logic and mechanical theorem proving.

Style de citation Chicago

Chang, Chin-lidng, et Richard Char-tung Lee. Symbolic Logic and Mechanical Theorem Proving. 1973.

Style de citation MLA

Chang, Chin-lidng, et Richard Char-tung Lee. Symbolic Logic and Mechanical Theorem Proving. 1973.

Attention : ces citations peuvent ne pas être correctes à 100%.