summaryrefslogtreecommitdiff
path: root/biblio/bibtex/contrib/gost/doc/examples/cp1251/bib/ex63.bib
blob: 0ea4915ef2360d7f0664067bc653df5eb4ab4e80 (plain)
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},
}