BibTeX record conf/isaim/SmausSW12

download as .bib file

@inproceedings{DBLP:conf/isaim/SmausSW12,
  author    = {Jan{-}Georg Smaus and
               Christian Schilling and
               Fabian Wenzelmann},
  title     = {Implementations of two algorithms for the threshold synthesis problem},
  booktitle = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/isaim/2012},
  url       = {http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012\_Boolean\_Schilling\_etal.pdf},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/SmausSW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaim/2012,
  title     = {International Symposium on Artificial Intelligence and Mathematics,
               {ISAIM} 2012, Fort Lauderdale, Florida, USA, January 9-11, 2012},
  year      = {2012},
  url       = {http://www.cs.uic.edu/bin/view/Isaim2012/AcceptedPapers},
  timestamp = {Wed, 02 Mar 2016 12:05:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isaim/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier