1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
@PROCEEDINGS{tmma,
title = {Towards Mechanized Mathematical Assistants},
editor = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang
Windsteiger},
isbn = {978-3-540-73083-5},
language = {english},
location = {Berlin Heidelberg},
number = {Volume 4573},
pagetotal = {410},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
titleaddon = {14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007,
Hagenberg, Austria, June 27-30, 2007. Proceedings},
year = {2007},
issn = {0302-9743},
langid = {english},
}
|