Catalog

Record Details

Catalog Search


Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings Cover Image E-book E-book

Towards Mechanized Mathematical Assistants [electronic resource] : 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings / edited by Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger.

Kauers, Manuel. (editor.). Kerber, Manfred. (editor.). Miner, Robert. (editor.). Windsteiger, Wolfgang. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo


Additional Resources