DBLP Record 'conf/ismvl/Gerberding96'

BibTeX

@inproceedings{DBLP:conf/ismvl/Gerberding96,
  author    = {Stefan Gerberding},
  title     = {DT - An Automated Theorem Prover for Multiple-Valued First-Order
               Predicate Logics},
  booktitle = {ISMVL},
  year      = {1996},
  pages     = {284-289},
  ee        = {http://computer.org/proceedings/ismvl/7392/73920284abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}