diff options
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.bib | 44 |
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}} |