Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleTowards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27--30, 2007. Proceedings.
Author(s)
TypeBook, Chapter in Book, Conference Proceeding
ISBN978-3-540-73083-5/pbk
URL http://link.springer.com/book/10.1007%2F978-3-540-73086-6
LanguageEnglish
Pagesxiii 407
PublisherBerlin: Springer
Year2007
EditorManuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger
Edition0
Translation No
Refereed No
Webmaster