summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib')
-rw-r--r--Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib44
1 files changed, 42 insertions, 2 deletions
diff --git a/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib b/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib
index 99cb06ca267..601151b37bd 100644
--- a/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib
+++ b/Master/texmf-dist/source/latex/stex/lib/bib/extcrossrefs.bib
@@ -1,5 +1,20 @@
@STRING{ecmessage = "READ the README please!!!!!!!!!!!!!!"}
+@book{KosBuc:rtul15,
+ title = {The Road to Universal Logic, Festschrift for the 50th Birthday of Jean-Yves B{\'e}ziau},
+ volume = 2,
+ editor = {Koslow, Arnold and Buchsbaum, Arthur},
+ publisher = {Springer Verlag},
+ year = 2015}
+
+@Proceedings{MathUI15,
+ editor = {Andrea Kohlhase and Paul Libbrecht},
+ title = {Mathematical User Interfaces Workshop at {CICM}},
+ booktitle = {Mathematical User Interfaces Workshop},
+ url = {http://www.cermat.org/events/MathUI/15/proceedings},
+ year = {2015},
+ month = jul}
+
@proceedings{SEMS15,
year = {2015},
booktitle = {Second workshop on Software Engineering methods in Spreadsheets},
@@ -82,7 +97,7 @@
@proceedings{NTCIR11,
title = {NTCIR Workshop 11 Meeting},
- editor = {Noriko Kando and Hideo Joho andKazuaki Kishida},
+ editor = {Noriko Kando and Hideo Joho and Kazuaki Kishida},
booktitle = {NTCIR 11 Conference},
address = {Tokyo, Japan},
publisher = {NII, Tokyo},
@@ -593,6 +608,14 @@ and Linking of Structured Knowledge ({CK})},
9\textsuperscript{th} International Conference, LPAR 2002},
key = {LPAR2002}}
+
+@proceedings{UITP14,
+ year = "2014",
+ booktitle = "Workshop on User Interfaces for Theorem Provers",
+ title = "Workshop on User Interfaces for Theorem Provers",
+ editor = "C. Benzm{\"u}ller and B. {Woltzenlogel Paleo}",
+ publisher = "Elsevier"}
+
@proceedings{uitp2012,
editor = {Cezary Kaliszyk and Christoph L{\"u}th},
title = {User Interfaces for Theorem Provers},
@@ -741,6 +764,16 @@ and Linking of Structured Knowledge ({CK})},
publisher = {Springer Verlag},
booktitle = {Mathematical Knowledge Management (MKM)}}
+@PROCEEDINGS{MACIS15,
+ title = {MACIS 2015},
+ year = 2016,
+ SOONeditor = {????},
+ SOONnumber = {????},
+ series = {LNAI},
+ publisher = {Springer Verlag},
+ booktitle = {MACIS 2015: Sixth International Conference on Mathematical Aspects of Computer and Information Sciences},
+ note = {in press}}
+
@PROCEEDINGS{MKM07,
title = {{MKM/Calculemus}},
booktitle = {Towards Mechanized Mathematical Assistants. {MKM/Calculemus}},
@@ -3033,6 +3066,14 @@ and Linking of Structured Knowledge ({CK})},
year = 2009,
month = sep,}
+@PROCEEDINGS{LWA15,
+ title = {Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB},
+ booktitle = {Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB},
+ editor = {Ralph Bergmann and Sebastian G{\"o}rg and Gilbert M{\"u}ller},
+ institution = {FGDB. Trier, Germany},
+ year = 2015,
+ month = oct}
+
@PROCEEDINGS{LWA13,
title = {Wissens- und Er\-fah\-rungs\-ma\-nage\-ment LWA (Lernen, Wissensentdeckung und Adaptivit{\"a}t) Conference Proceedings},
booktitle = {LWA 2013 - Lernen, Wissen & Adaptivit{\"a}t, Workshop Proceedings, Bamberg, 7.-9. October 2013},
@@ -3917,7 +3958,6 @@ Lutz Schr{\"o}der and Shi Hui and Mattias Werner},
title = {Wikipedia, the free encyclopedia},
howpublished = {\url{http://www.wikipedia.org}},
editor = {{Wikimedia Foundation}},
- year = {2001--2007},
key = {Wikipedia},
url = {http://www.wikipedia.org}}