Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BEL1998]  Extension Methods in Automated Deduction

BEL98 (In a collection)
Author(s)Baaz M., Egly U. and Leitsch A.
Title"Extension Methods in Automated Deduction"
Date1998
InAutomated Deduction, a Basis for Application
Editor(s)Bibel W. and Schmitt P.
VolumeII
Page(s)331--359
PublisherKluwer

BibTeX code

@incollection{BEL98,
  publisher = {Kluwer},
  volume = {II},
  title = {Extension Methods in Automated Deduction},
  author = {Baaz, M. and Egly, U. and Leitsch, A.},
  year = {1998},
  booktitle = {Automated Deduction, a Basis for Application},
  pages = {331--359},
  editor = {Bibel, W. and Schmitt, P.},
}

 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)