diff options
author | Norbert Preining <norbert@preining.info> | 2020-12-29 03:00:50 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-12-29 03:00:50 +0000 |
commit | ec483f80cce5e50f1ea09f9cdea99d26fbba5c5d (patch) | |
tree | 69bf255fb4232c3d9113c03f460cf21b3a74df91 /biblio/bibtex/contrib/gost/doc/examples/cp1251/bib/ex63.bib | |
parent | 07b20138841bb0e4c45e74a2a1d06cc91fe5a861 (diff) |
CTAN sync 202012290300
Diffstat (limited to 'biblio/bibtex/contrib/gost/doc/examples/cp1251/bib/ex63.bib')
-rw-r--r-- | biblio/bibtex/contrib/gost/doc/examples/cp1251/bib/ex63.bib | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/biblio/bibtex/contrib/gost/doc/examples/cp1251/bib/ex63.bib b/biblio/bibtex/contrib/gost/doc/examples/cp1251/bib/ex63.bib new file mode 100644 index 0000000000..0ea4915ef2 --- /dev/null +++ b/biblio/bibtex/contrib/gost/doc/examples/cp1251/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}, +} |