1.
, , , , . Symposium on automatic demonstration. Berlin, Heidelberg, New York: Springer-Verlag; 1970.
, , , et . Symposium on automatic demonstration. Berlin, Heidelberg, New York : Springer-Verlag, 10 mai 1970. ISBN 0-387-04914-2
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%.