%0 Book %1 Schoening2000 %A Schöning, Uwe %D 2000 %I Spektrum Akademischer Verlag %K imported %T Logik für Informatiker

@book{Schoening2000, added-at = {2011-02-09T13:48:38.000+0100}, author = {Schöning, Uwe}, biburl = {https://www.bibsonomy.org/bibtex/2ff4261f5c7f2e8df8901a0ca7ed0440c/dasboogie}, groups = {public}, interhash = {260e4258b183afc764e48261223a459f}, intrahash = {ff4261f5c7f2e8df8901a0ca7ed0440c}, keywords = {imported}, publisher = {Spektrum Akademischer Verlag}, timestamp = {2011-02-09T13:48:38.000+0100}, title = {Logik für Informatiker}, username = {dasboogie}, year = 2000 }