Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings (bibtex)
by Unknown
Reference:
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings, (Kai Brünnler, George Metcalfe, eds.), Springer, volume 6793, 2011.
Bibtex Entry:
@Proceedings{Brunnler2011,
  Title                    = {Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings},
  Year                     = {2011},
  Editor                   = {Kai Br{\"u}nnler and George Metcalfe},
  Publisher                = {Springer},
  Series                   = {Lecture Notes in Computer Science},
  Volume                   = {6793},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Booktitle                = {TABLEAUX},
  Ee                       = {http://dx.doi.org/10.1007/978-3-642-22119-4},
  ISBN                     = {978-3-642-22118-7},
  Timestamp                = {2013.07.26}
}
Powered by bibtexbrowser