Symposium on Automatic Demonstration Versailles, Laudet, M., Lacombe, D., Nolin, L., & Schützenberger, M. P. (1970). Symposium on automatic demonstration: Held at Versailles/ France, December 1968. Springer-Verlag.
Chicago-Zitierstil (17. Ausg.)Symposium on Automatic Demonstration Versailles, Michel Laudet, D. Lacombe, L. Nolin, und Marcel P. Schützenberger. Symposium on Automatic Demonstration: Held at Versailles/ France, December 1968. Berlin ; Heidelberg ; New York: Springer-Verlag, 1970.
MLA-Zitierstil (9. Ausg.)Symposium on Automatic Demonstration Versailles, et al. Symposium on Automatic Demonstration: Held at Versailles/ France, December 1968. Springer-Verlag, 1970.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.