BibTeX record conf/tableaux/KrapezKOP92

• > Home > conf/tableaux/KrapezKOP92

@inproceedings{DBLP:conf/tableaux/KrapezKOP92,
  author       = {Aleksandar Krapez and
                  Miodrag Kapetanovic and
                  Zoran Ognjanovic and
                  Tatjana Petrovic},
  editor       = {Bertram Fronh{\"{o}}fer and
                  Reiner H{\"{a}}hnle and
                  Thomas K{\"{a}}ufl},
  title        = {Prover 91 - {A} Parallel Theorem Prover (Extended Abstract)},
  booktitle    = {Workshop Theorem Proving with Analytic Tableaux and Related Methods,
                  Lautenbach. Universit{\"{a}}t Karlsruhe, Fakult{\"{a}}t
                  f{\"{u}}r Informatik, Institut f{\"{u}}r Logik, Komplexit{\"{a}}t
                  und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992},
  pages        = {43--45},
  year         = {1992},
  timestamp    = {Tue, 15 May 2012 18:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/KrapezKOP92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}