Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Baa1990]  Automated Theorem Proving for Many-valued Logics (Algorithms)

Baaz90TRb (Technical report)
Author(s)Baaz M.
Title"Automated Theorem Proving for Many-valued Logics (Algorithms)"
Date1990
InstitutionResearch Report of the Institute of Information Sciences and Electronics, University of Tsukuba

BibTeX code

@techreport{Baaz90TRb,
  address = {Tokyo, Japan},
  title = {Automated Theorem Proving for Many-valued Logics (Algorithms)},
  author = {Baaz, M.},
  year = {1990},
  institution = {Research Report of the Institute of Information Sciences and Electronics, University of Tsukuba},
}

 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)