-
Bib ID# 35979
ISBN: 9783540730866
UPC: 10.1007/978-3-540-73086-6
Title: Towards Mechanized Mathematical Assistants14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /
Author: Kauers, Manuel.
Publication Info:
Item Type: Language material