BibTeX record conf/cade/ZimmerK02

download as .bib file

@inproceedings{DBLP:conf/cade/ZimmerK02,
  author    = {J{\"{u}}rgen Zimmer and
               Michael Kohlhase},
  title     = {System Description: The MathWeb Software Bus for Distributed Mathematical
               Reasoning},
  booktitle = {{CADE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {2392},
  pages     = {139--143},
  publisher = {Springer},
  year      = {2002}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics