[{"publication_identifier":{"isbn":["978-3-519-02133-9"]},"language":[{"iso":"ger"}],"publisher":"Teubner","series_title":"Leitfäden und Monographien der Informatik","type":"book","date_updated":"2019-01-03T13:14:23Z","_id":"3333","author":[{"last_name":"Kleine Büning","full_name":"Kleine Büning, Hans","first_name":"Hans"},{"first_name":"Theodor","id":"315","last_name":"Lettmann","full_name":"Lettmann, Theodor"}],"year":"1994","status":"public","title":"Aussagenlogik - Deduktion und Algorithmen","date_created":"2018-06-25T09:25:15Z","publication_status":"published","user_id":"315","citation":{"ieee":"H. Kleine Büning and T. Lettmann, <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner, 1994.","short":"H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.","apa":"Kleine Büning, H., &#38; Lettmann, T. (1994). <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner.","mla":"Kleine Büning, Hans, and Theodor Lettmann. <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner, 1994.","ama":"Kleine Büning H, Lettmann T. <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner; 1994.","chicago":"Kleine Büning, Hans, and Theodor Lettmann. <i>Aussagenlogik - Deduktion und Algorithmen</i>. Leitfäden und Monographien der Informatik. Teubner, 1994.","bibtex":"@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }"}}]