BibTeX record books/daglib/0015626

download as .bib file

@book{DBLP:books/daglib/0015626,
  author       = {Martin Kreuzer and
                  Stefan K{\"{u}}hling},
  title        = {Logik f{\"{u}}r Informatiker},
  publisher    = {Pearson Studium},
  year         = {2006},
  url          = {http://www.pearson-studium.de/main/main.asp?page=bookdetails\&ProductID=111263},
  isbn         = {978-3-8273-7215-4},
  timestamp    = {Wed, 23 Mar 2011 16:58:38 +0100},
  biburl       = {https://dblp.org/rec/books/daglib/0015626.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics