Towards Mechanized Mathematical Assistants

MLA

Kauers, Manuel, et al. Towards Mechanized Mathematical Assistants. Springer Berlin Heidelberg, 2007.

APA

Kauers, M., Kerber, M., Miner, R., Siekmann, J., & Windsteiger, W. (2007). Towards Mechanized Mathematical Assistants. Springer Berlin Heidelberg.

Chicago

Kauers, Manuel, Manfred Kerber, Robert Miner, Jörg Siekmann, and Wolfgang Windsteiger. Towards Mechanized Mathematical Assistants. : Springer Berlin Heidelberg, 2007.