BibTeX record conf/daisd/BarbicMP90

download as .bib file

@inproceedings{DBLP:conf/daisd/BarbicMP90,
  author    = {Federico Barbic and
               Roberto Maiocchi and
               Barbara Pernici},
  editor    = {Antoni Oliv{\'{e}}},
  title     = {Automatic Deduction of Temporal Information},
  booktitle = {International Workshop on the Deductive Approach to Information Systems
               and Databases, {DAISD} 1990, October 15-17, 1990, S'Agar{\'{o}},
               Catalonia, Proceedings},
  series    = {Report de recerca},
  volume    = {{LSI/90-30}},
  pages     = {241--298},
  publisher = {Universitat Politecnica de Catalunya {(UPC)}},
  year      = {1990},
  timestamp = {Fri, 26 Jul 2019 12:08:51 +0200},
  biburl    = {https://dblp.org/rec/conf/daisd/BarbicMP90.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics