summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/bibtex/gost/examples/utf8/bib/ex63.bib
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/bibtex/gost/examples/utf8/bib/ex63.bib')
-rw-r--r--Master/texmf-dist/doc/bibtex/gost/examples/utf8/bib/ex63.bib17
1 files changed, 17 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/bibtex/gost/examples/utf8/bib/ex63.bib b/Master/texmf-dist/doc/bibtex/gost/examples/utf8/bib/ex63.bib
new file mode 100644
index 00000000000..0ea4915ef23
--- /dev/null
+++ b/Master/texmf-dist/doc/bibtex/gost/examples/utf8/bib/ex63.bib
@@ -0,0 +1,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},
+}