Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[CM2003]   Bounded Lukasiewicz Logics

CM03Tab (In proceedings)
Author(s)Ciabattoni A. and Metcalfe G.
Title" Bounded Lukasiewicz Logics"
Date2003
InAutomated Reasoning with Tableaux and Related Methods (Tableaux'2003)
Volume2796
SeriesLNAI
Page(s)32-48
Publisher 

BibTeX code

@inproceedings{CM03Tab,
  volume = {2796},
  title = { Bounded {\L}ukasiewicz Logics},
  editors = {},
  year = {2003},
  booktitle = {Automated  Reasoning with Tableaux and Related Methods (Tableaux'2003)},
  pages = {32-48},
  publisher = {},
  author = {A. Ciabattoni and  G. Metcalfe},
  series = {LNAI},
}

 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)