Overview   Tree   Index 
Bibliography
   FRAMES  NO FRAME 

[BL1985b]  Eine Methode zur automatischen Problemreduktion

BaazLeit85OGAI (In proceedings)
Author(s)Baaz M. and Leitsch A.
Title"Eine Methode zur automatischen Problemreduktion"
Date1985
InÖsterreichische Artificial-Intelligence-Tagung
SeriesInformatik Fachberichte 106
Page(s)154--163
PublisherSpringer

BibTeX code

@inproceedings{BaazLeit85OGAI,
  publisher = {Springer},
  title = {{Eine} {Methode} zur automatischen {Problemreduktion}},
  author = {Baaz, M. and Leitsch, A.},
  year = {1985},
  booktitle = {\"Osterreichische Artificial-Int\-el\-li\-gence-Tagung},
  pages = {154--163},
  series = {Informatik Fachberichte˜106},
}

 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)