Search dblp for Publications

export results for "toc:db/conf/mkm/mkm2005.bht:"

 download as .bib file

@proceedings{DBLP:conf/mkm/2005,
  editor       = {Michael Kohlhase},
  title        = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11618027},
  doi          = {10.1007/11618027},
  isbn         = {3-540-31430-X},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Aboul-HosnA05,
  author       = {Kamal Aboul{-}Hosn and
                  Terese Andersen},
  editor       = {Michael Kohlhase},
  title        = {A Proof-Theoretic Approach to Hierarchical Math Library Organization},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_1},
  doi          = {10.1007/11618027\_1},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Aboul-HosnA05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AspertiGLMC05,
  author       = {Andrea Asperti and
                  Herman Geuvers and
                  Iris Loeb and
                  Lionel Elie Mamane and
                  Claudio Sacerdoti Coen},
  editor       = {Michael Kohlhase},
  title        = {An Interactive Algebra Course with Formalised Proofs and Definitions},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {315--329},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_21},
  doi          = {10.1007/11618027\_21},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/AspertiGLMC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AspinallLW05,
  author       = {David Aspinall and
                  Christoph L{\"{u}}th and
                  Burkhart Wolff},
  editor       = {Michael Kohlhase},
  title        = {Assisted Proof Document Authoring},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {65--80},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_5},
  doi          = {10.1007/11618027\_5},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/AspinallLW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AutexierBDMW05,
  author       = {Serge Autexier and
                  Christoph Benzm{\"{u}}ller and
                  Dominik Dietrich and
                  Andreas Meier and
                  Claus{-}Peter Wirth},
  editor       = {Michael Kohlhase},
  title        = {A Generic Modular Data Structure for Proof Attempts Alternating on
                  Ideas and Granularity},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {126--142},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_9},
  doi          = {10.1007/11618027\_9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/AutexierBDMW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/AutexierF05,
  author       = {Serge Autexier and
                  Armin Fiedler},
  editor       = {Michael Kohlhase},
  title        = {Textbook Proofs Meet Formal Logic - The Problem of Underspecification
                  and Granularity},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {96--110},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_7},
  doi          = {10.1007/11618027\_7},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/AutexierF05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CairnsG05,
  author       = {Paul A. Cairns and
                  Jeremy Gow},
  editor       = {Michael Kohlhase},
  title        = {Literate Proving: Presenting and Documenting Formal Proofs},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {159--173},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_11},
  doi          = {10.1007/11618027\_11},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CairnsG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Coen05,
  author       = {Claudio Sacerdoti Coen},
  editor       = {Michael Kohlhase},
  title        = {Explanation in Natural Language of lamda-{\(\mathrm{\mu}\)}{\(\mathrm{\mu}\)}-Terms},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {234--249},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_16},
  doi          = {10.1007/11618027\_16},
  timestamp    = {Tue, 28 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Coen05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/CohenCJS05,
  author       = {Arjeh M. Cohen and
                  Hans Cuypers and
                  Dorina Jibetean and
                  Mark Spanbroek},
  editor       = {Michael Kohlhase},
  title        = {Interactive Learning and Mathematical Calculus},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {330--345},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_22},
  doi          = {10.1007/11618027\_22},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/CohenCJS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/GrabowskiS05,
  author       = {Adam Grabowski and
                  Christoph Schwarzweller},
  editor       = {Michael Kohlhase},
  title        = {Translating Mathematical Vernacular into Knowledge Repositories},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {49--64},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_4},
  doi          = {10.1007/11618027\_4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/GrabowskiS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/IdaTM05,
  author       = {Tetsuo Ida and
                  Hidekazu Takahashi and
                  Mircea Marin},
  editor       = {Michael Kohlhase},
  title        = {Computational Origami of a Morley's Triangle},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {267--282},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_18},
  doi          = {10.1007/11618027\_18},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/IdaTM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Jojgov05,
  author       = {Gueorgui I. Jojgov},
  editor       = {Michael Kohlhase},
  title        = {Translating a Fragment of Weak Type Theory into Type Theory with Open
                  Terms},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {389--403},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_26},
  doi          = {10.1007/11618027\_26},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Jojgov05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KamareddineMW05,
  author       = {Fairouz Kamareddine and
                  Manuel Maarek and
                  J. B. Wells},
  editor       = {Michael Kohlhase},
  title        = {Toward an Object-Oriented Structure for Mathematical Text},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {217--233},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_15},
  doi          = {10.1007/11618027\_15},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KamareddineMW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KerberP05,
  author       = {Manfred Kerber and
                  Martin Pollet},
  editor       = {Michael Kohlhase},
  title        = {A Tough Nut for Mathematical Knowledge Management},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {81--95},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_6},
  doi          = {10.1007/11618027\_6},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KerberP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/KohlhaseK05,
  author       = {Andrea Kohlhase and
                  Michael Kohlhase},
  editor       = {Michael Kohlhase},
  title        = {An Exploration in the Space of Mathematical Knowledge},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_2},
  doi          = {10.1007/11618027\_2},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KohlhaseK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Kulpa05,
  author       = {Zenon Kulpa},
  editor       = {Michael Kohlhase},
  title        = {Designing Diagrammatic Catalogues of Types of Basic Interval Equation:
                  {A} Case Study},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {283--298},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_19},
  doi          = {10.1007/11618027\_19},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Kulpa05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/MahnkeS05,
  author       = {Achim Mahnke and
                  Jan Scheffczyk},
  editor       = {Michael Kohlhase},
  title        = {Engineering Mathematical Knowledge},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {250--266},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_17},
  doi          = {10.1007/11618027\_17},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/MahnkeS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/ManzoorLUM05,
  author       = {Shahid Manzoor and
                  Paul Libbrecht and
                  Carsten Ullrich and
                  Erica Melis},
  editor       = {Michael Kohlhase},
  title        = {Authoring Presentation for OpenMath},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_3},
  doi          = {10.1007/11618027\_3},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/ManzoorLUM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/MeierM05,
  author       = {Andreas Meier and
                  Erica Melis},
  editor       = {Michael Kohlhase},
  title        = {Impasse-Driven Reasoning in Proof Planning},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {143--158},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_10},
  doi          = {10.1007/11618027\_10},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/MeierM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Milewski05,
  author       = {Robert Milewski},
  editor       = {Michael Kohlhase},
  title        = {Transformations of {MML} Database's Elements},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {376--388},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_25},
  doi          = {10.1007/11618027\_25},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Milewski05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/NakagawaS05,
  author       = {Koji Nakagawa and
                  Masakazu Suzuki},
  editor       = {Michael Kohlhase},
  title        = {Mathematical Knowledge Browser with Automatic Hyperlink Detection},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {190--202},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_13},
  doi          = {10.1007/11618027\_13},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/NakagawaS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/NaylorP05,
  author       = {William Naylor and
                  Julian A. Padget},
  editor       = {Michael Kohlhase},
  title        = {Semantic Matching for Mathematical Services},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {174--189},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_12},
  doi          = {10.1007/11618027\_12},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/NaylorP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Schwarzweller05,
  author       = {Christoph Schwarzweller},
  editor       = {Michael Kohlhase},
  title        = {Gr{\"{o}}bner Bases - Theory Refinement in the Mizar System},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {299--314},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_20},
  doi          = {10.1007/11618027\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Schwarzweller05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SextonS05,
  author       = {Alan P. Sexton and
                  Volker Sorge},
  editor       = {Michael Kohlhase},
  title        = {Processing Textbook-Style Matrices},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {111--125},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_8},
  doi          = {10.1007/11618027\_8},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/SextonS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SextonS05a,
  author       = {Alan P. Sexton and
                  Volker Sorge},
  editor       = {Michael Kohlhase},
  title        = {A Database of Glyphs for {OCR} of Mathematical Documents},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {203--216},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_14},
  doi          = {10.1007/11618027\_14},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/SextonS05a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/SoW05,
  author       = {Clare M. So and
                  Stephen M. Watt},
  editor       = {Michael Kohlhase},
  title        = {Determining Empirical Characteristics of Mathematical Expression Use},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {361--375},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_24},
  doi          = {10.1007/11618027\_24},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/SoW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mkm/Urban05,
  author       = {Josef Urban},
  editor       = {Michael Kohlhase},
  title        = {XML-izing Mizar: Making Semantic Processing and Presentation of {MML}
                  Easy},
  booktitle    = {Mathematical Knowledge Management, 4th International Conference, {MKM}
                  2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3863},
  pages        = {346--360},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11618027\_23},
  doi          = {10.1007/11618027\_23},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/Urban05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.