{"_id":"9kH2t2WvK5i827eix","bibbaseid":"heinemann-weihrauch-logikfrinformatiker-1992","authorIDs":[],"author_short":["Heinemann, B.","Weihrauch, K."],"bibdata":{"bibtype":"book","type":"book","title":"Logik für Informatiker","publisher":"Teubner","year":"1992","author":[{"propositions":[],"lastnames":["Heinemann"],"firstnames":["Bernhard"],"suffixes":[]},{"propositions":[],"lastnames":["Weihrauch"],"firstnames":["Klaus"],"suffixes":[]}],"address":"Stuttgart","edition":"2.","keywords":"thi1","bibtex":"@BOOK{HW92,\r\n title = {Logik f\\\"ur Informatiker},\r\n publisher = {Teubner},\r\n year = {1992},\r\n author = {Heinemann, Bernhard and Weihrauch, Klaus},\r\n address = {Stuttgart},\r\n edition = {2.},\r\n keywords = {thi1}\r\n}\r\n\r\n","author_short":["Heinemann, B.","Weihrauch, K."],"key":"HW92","id":"HW92","bibbaseid":"heinemann-weihrauch-logikfrinformatiker-1992","role":"author","urls":{},"keyword":["thi1"],"downloads":0},"bibtype":"book","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-11T13:29:35.274Z","downloads":0,"keywords":["thi1"],"search_terms":["logik","informatiker","heinemann","weihrauch"],"title":"Logik für Informatiker","year":1992,"dataSources":["t7rKiAbxugj4Agz8M"]}