BibTeX record conf/woa/ArmandoZ00

download as .bib file

@inproceedings{DBLP:conf/woa/ArmandoZ00,
  author       = {Alessandro Armando and
                  Daniele Zini},
  editor       = {Antonio Corradi and
                  Andrea Omicini and
                  Agostino Poggi},
  title        = {Towards Interoperable Mechanized Reasoning Systems: the Logic Broker
                  Architecture},
  booktitle    = {{WOA} 2000: Dagli Oggetti agli Agenti. 1st AI*IA/TABOO Joint Workshop
                  "From Objects to Agents": Evolutive Trends of Software Systems, 29-30
                  May 2000, Parma, Italy},
  pages        = {70--75},
  publisher    = {Pitagora Editrice Bologna},
  year         = {2000},
  timestamp    = {Mon, 17 Jan 2005 15:51:56 +0100},
  biburl       = {https://dblp.org/rec/conf/woa/ArmandoZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics