Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Baa2002b]  Proof Analysis by Resolution

Baaz02TAB (In proceedings)
Author(s)Baaz M.
Title"Proof Analysis by Resolution"
Date2002
InAutomated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002)
Editor(s)Egly U. and Fermüller C.
Number2381
SeriesLNAI
Page(s)1
PublisherSpringer

BibTeX code

@inproceedings{Baaz02TAB,
  title = {Proof Analysis by Resolution},
  year = {2002},
  booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002)},
  editor = {Egly, U. and Fermüller, C.G.},
  pages = {1},
  number = {2381},
  publisher = {Springer},
  author = {Baaz, M.},
  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)