Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[Baa2002]  Proof Analysis by Resolution

Baaz02CADE (In proceedings)
Author(s)Baaz M.
Title"Proof Analysis by Resolution"
Date2002
InAutomated Deduction -- CADE-18, 18th Int. Conf. on Automated Deduction
Editor(s)Voronkov A.
Number2392
SeriesLNAI
Page(s)517--531
PublisherSpringer

BibTeX code

@inproceedings{Baaz02CADE,
  title = {Proof Analysis by Resolution},
  year = {2002},
  booktitle = {Automated Deduction -- CADE-18, 18th Int. Conf. on Automated Deduction},
  editor = {Voronkov, A.},
  pages = {517--531},
  number = {2392},
  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)