Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BF1992]  Resolution for Many-valued Logics

BaazFerm92LPAR (In proceedings)
Author(s)Baaz M. and Fermüller C. G.
Title"Resolution for Many-valued Logics"
Date1992
InLogic Programming and Automated Reasoning. Proceedings LPAR'92
Editor(s)Voronkov A.
SeriesLNAI 624
Page(s)107--118
PublisherSpringer

BibTeX code

@inproceedings{BaazFerm92LPAR,
  title = {Resolution for Many-valued Logics},
  year = {1992},
  booktitle = {Logic Programming and Automated Reasoning. Proceedings {LPAR}'92},
  pages = {107--118},
  editor = {Voronkov, A.},
  publisher = {Springer},
  address = {Berlin},
  author = {Baaz, M. and Fermüller, C. G.},
  series = {LNAI˜624},
}

 Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

Submit a bug

This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)