{"publisher":"Teubner","_id":"3333","series_title":"Leitfäden und Monographien der Informatik","language":[{"iso":"ger"}],"doi":"10.1007/978-3-322-84809-3","user_id":"315","publication_identifier":{"isbn":["978-3-519-02133-9"]},"author":[{"first_name":"Hans","last_name":"Kleine Büning","full_name":"Kleine Büning, Hans"},{"id":"315","full_name":"Lettmann, Theodor","last_name":"Lettmann","first_name":"Theodor","orcid":"0000-0001-5859-2457"}],"year":"1994","status":"public","title":"Aussagenlogik - Deduktion und Algorithmen","date_updated":"2022-01-06T06:59:10Z","publication_status":"published","date_created":"2018-06-25T09:25:15Z","type":"book","citation":{"ieee":"H. Kleine Büning and T. Lettmann, <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner, 1994.","mla":"Kleine Büning, Hans, and Theodor Lettmann. <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner, 1994, doi:<a href=\"https://doi.org/10.1007/978-3-322-84809-3\">10.1007/978-3-322-84809-3</a>.","apa":"Kleine Büning, H., &#38; Lettmann, T. (1994). <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner. <a href=\"https://doi.org/10.1007/978-3-322-84809-3\">https://doi.org/10.1007/978-3-322-84809-3</a>","bibtex":"@book{Kleine Büning_Lettmann_1994, series={Leitfäden und Monographien der Informatik}, title={Aussagenlogik - Deduktion und Algorithmen}, DOI={<a href=\"https://doi.org/10.1007/978-3-322-84809-3\">10.1007/978-3-322-84809-3</a>}, publisher={Teubner}, author={Kleine Büning, Hans and Lettmann, Theodor}, year={1994}, collection={Leitfäden und Monographien der Informatik} }","ama":"Kleine Büning H, Lettmann T. <i>Aussagenlogik - Deduktion und Algorithmen</i>. Teubner; 1994. doi:<a href=\"https://doi.org/10.1007/978-3-322-84809-3\">10.1007/978-3-322-84809-3</a>","short":"H. Kleine Büning, T. Lettmann, Aussagenlogik - Deduktion und Algorithmen, Teubner, 1994.","chicago":"Kleine Büning, Hans, and Theodor Lettmann. <i>Aussagenlogik - Deduktion und Algorithmen</i>. Leitfäden und Monographien der Informatik. Teubner, 1994. <a href=\"https://doi.org/10.1007/978-3-322-84809-3\">https://doi.org/10.1007/978-3-322-84809-3</a>."}}