Distributed Assertion Retrieval (bibtex)
by Christoph Benzmüller, Andreas Meier, Volker Sorge
Reference:
Distributed Assertion Retrieval (Christoph Benzmüller, Andreas Meier, Volker Sorge), In First International Workshop on Mathematical Knowledge Management, pp. 1-7, 2001. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/W14.pdf)
Bibtex Entry:
@inproceedings{W14,
  Address =	 {RISC Linz, Schloss Hagenberg},
  Author =	 {Christoph Benzm{\"u}ller and Andreas Meier and
                  Volker Sorge},
  Booktitle =	 {First International Workshop on Mathematical
                  Knowledge Management},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2001-mkm-talk.pdf">slides</a>},
  Pages =	 {1-7},
  Title =	 {Distributed Assertion Retrieval},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W14.pdf}},
  Year =	 2001,
}
Powered by bibtexbrowser