Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BF1995b]  Resolution-Based Theorem Proving for Many-Valued Logics

BaazFerm95JSC (Article)
Author(s)Baaz M. and Fermüller C. G.
Title"Resolution-Based Theorem Proving for Many-Valued Logics"
Date1995
JournalJ. of Symbolic Computation
Volume19
Number-
Page(s)353--391

BibTeX code

@article{BaazFerm95JSC,
  journal = {J. of Symbolic Computation},
  volume = {19},
  title = {Resolution-Based Theorem Proving for Many-Valued Logics},
  author = {Baaz, M. and Fermüller, C. G.},
  year = {1995},
  pages = {353--391},
}

 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)