BibTeX record conf/ecai/KerberK96

download as .bib file

@inproceedings{DBLP:conf/ecai/KerberK96,
  author       = {Manfred Kerber and
                  Michael Kohlhase},
  editor       = {Wolfgang Wahlster},
  title        = {A Resolution Calculus for Presuppositions},
  booktitle    = {12th European Conference on Artificial Intelligence, Budapest, Hungary,
                  August 11-16, 1996, Proceedings},
  pages        = {375--379},
  publisher    = {John Wiley and Sons, Chichester},
  year         = {1996},
  timestamp    = {Thu, 03 Jan 2002 11:56:55 +0100},
  biburl       = {https://dblp.org/rec/conf/ecai/KerberK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics