DBLP BibTeX Record 'books/daglib/0090595'

@book{DBLP:books/daglib/0090595,
  author    = {Antje Strohmaier},
  title     = {Logisches Schlie{\ss}en mit massiv parallelen Methoden},
  publisher = {Infix},
  series    = {DISKI},
  volume    = {169},
  year      = {1997},
  isbn      = {978-3-89601-169-5},
  pages     = {I-XVI, 1-220},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}