BibTeX record conf/aimsa/CaferraZ90

download as .bib file

@inproceedings{DBLP:conf/aimsa/CaferraZ90,
  author       = {Ricardo Caferra and
                  Nicolas Zabel},
  editor       = {Philippe Jorrand and
                  Vassil Stoyanov Sgurev},
  title        = {An Application of Many-Valued Logic to Decide Propositional {S5} Formulae:
                  {A} Strategy Designed for a Parameterized Tableaux-Based Theorem Prover},
  booktitle    = {Artificial Intelligence {IV:} Methodology, Systems, Applications -
                  Proceedings of the Fourth International Conference on Artificial Intelligence:
                  Methodology, Systems, Applications, {AIMSA} 1990, Albena, Bulgaria,
                  September 19-22, 1990},
  pages        = {23--32},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Thu, 16 Mar 2017 14:40:22 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/CaferraZ90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics