%0 Book %1 Schoening1992 %A Schöning, Uwe %B Reihe Informatik %D 1992 %I Bibliographisches Institut %K dblp imported puma test %T Logik für Informatiker, 3. Auflage %V 56 %@ 3-411-14013-5

@book{Schoening1992, added-at = {2017-05-18T15:42:02.000+0200}, author = {Schöning, Uwe}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dfcb8edf407782bba6b49eeeef41b58a/droessler}, groups = {public}, interhash = {5b5033a5ef23699bbd06cec701c00bae}, intrahash = {dfcb8edf407782bba6b49eeeef41b58a}, isbn = {3-411-14013-5}, keywords = {dblp imported puma test}, publisher = {Bibliographisches Institut}, series = {Reihe Informatik}, timestamp = {2018-02-28T22:15:55.000+0100}, title = {Logik für Informatiker, 3. Auflage}, username = {droessler}, volume = 56, year = 1992 }