BibTeX record conf/deductive/Christiansen95

download as .bib file

@inproceedings{DBLP:conf/deductive/Christiansen95,
  author    = {Henning Christiansen},
  editor    = {Hendrik Decker and
               Ulrich Geske and
               Antonis C. Kakas and
               Chiaki Sakama and
               Dietmar Seipel and
               Toni Urp{\'{\i}}},
  title     = {Alternative Reasoning in a Metaprogramming System},
  booktitle = {Deductive Databases and Logic Programming, Abduction in Deductive
               Databases and Knowledge-Based Systems, Proceedings of the ICLP'95
               Joint Workshop, Shonan Village Center, Japan, June 17, 1995},
  series    = {GMD-Studien},
  volume    = {266},
  pages     = {175--186},
  publisher = {Gesellschaft f{\"{u}}r Mathematik und Datenverarbeitung MbH},
  year      = {1995},
  timestamp = {Thu, 08 Jun 2017 18:14:18 +0200},
  biburl    = {https://dblp.org/rec/conf/deductive/Christiansen95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics