Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BFS2001]  Automated Deduction for Many-Valued Logics

BFS01Handbook (In a collection)
Author(s)Baaz M., Fermüller C. G. and Salzer G.
Title"Automated Deduction for Many-Valued Logics"
Date2001
InHandbook of Automated Reasoning
Editor(s)A. Robinson A. V.
Page(s)1357--1402
PublisherElsevier

BibTeX code

@incollection{BFS01Handbook,
  publisher = {Elsevier},
  title = {Automated Deduction for Many-Valued Logics},
  author = {Baaz, M. and Fermüller, C. G. and Salzer, G.},
  year = {2001},
  booktitle = {Handbook of Automated Reasoning},
  editor = {A. Robinson, A. Voronkov},
  pages = {1357--1402},
}

 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)