VANCOUVER Edition Citation

1.
, , , , . Symposium on automatic demonstration. Berlin, Heidelberg, New York: Springer-Verlag; 1970.

ISO690 Edition Citation

, , , et . Symposium on automatic demonstration. Berlin, Heidelberg, New York : Springer-Verlag, 10 mai 1970. ISBN 0-387-04914-2

Style de citation APA (7e éd.)

Symposium on automatic demonstration, Laudet Michel, Lacombe Daniel, Nolin Louis, & Schützenberger Marcel Paul. (1970). Symposium on automatic demonstration: Held at Versailles-France, December 1968. Springer-Verlag.

Style de citation MLA (8e éd.)

Symposium on automatic demonstration, et al. Symposium on Automatic Demonstration: Held at Versailles-France, December 1968. Springer-Verlag, 1970.

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