%0 Book %1 books/daglib/0015626 %A Kreuzer, Martin %A Kühling, Stefan %D 2006 %I Pearson Studium %K dblp %P 1-247 %T Logik für Informatiker. %@ 978-3-8273-7215-4

@book{books/daglib/0015626, added-at = {2011-03-23T00:00:00.000+0100}, author = {Kreuzer, Martin and Kühling, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2d757134235e4ebff5e11918c2657b225/dblp}, ee = {http://www.pearson-studium.de/main/main.asp?page=bookdetails&ProductID=111263}, interhash = {3fa6a1c4c83fac903543feaee3cf9801}, intrahash = {d757134235e4ebff5e11918c2657b225}, isbn = {978-3-8273-7215-4}, keywords = {dblp}, pages = {1-247}, publisher = {Pearson Studium}, timestamp = {2011-04-29T15:26:13.000+0200}, title = {Logik für Informatiker.}, year = 2006 }