BibTeX record conf/flairs/WolfL98

download as .bib file

@inproceedings{DBLP:conf/flairs/WolfL98,
  author    = {Andreas Wolf and
               Reinhold Letz},
  title     = {Strategy Parallelism in Automated Theorem Proving},
  booktitle = {Proceedings of the Eleventh International Florida Artificial Intelligence
               Research Society Conference, May 18-20, 1998, Sanibel Island, Florida,
               {USA}},
  pages     = {142--146},
  year      = {1998},
  crossref  = {DBLP:conf/flairs/1998},
  url       = {http://www.aaai.org/Library/FLAIRS/1998/flairs98-027.php},
  timestamp = {Fri, 27 Jul 2018 14:40:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flairs/WolfL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flairs/1998,
  editor    = {Diane J. Cook},
  title     = {Proceedings of the Eleventh International Florida Artificial Intelligence
               Research Society Conference, May 18-20, 1998, Sanibel Island, Florida,
               {USA}},
  publisher = {{AAAI} Press},
  year      = {1998},
  isbn      = {1-57735-051-0},
  timestamp = {Wed, 11 Dec 2002 12:56:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/flairs/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics