BibTeX record journals/fuin/Biela93

download as .bib file

@article{DBLP:journals/fuin/Biela93,
  author       = {Andrzej Biela},
  title        = {Retrieval System and Dynamic Algorithm Looking for Axioms of Notions
                  Defined by Programs},
  journal      = {Fundam. Informaticae},
  volume       = {19},
  number       = {3/4},
  pages        = {275--301},
  year         = {1993},
  timestamp    = {Fri, 18 Sep 2020 11:15:50 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Biela93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics