{"date_updated":"2022-01-06T07:00:50Z","language":[{"iso":"ger"}],"title":"Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT","user_id":"477","year":"2014","author":[{"first_name":"Andreas","last_name":"Krakau","full_name":"Krakau, Andreas"}],"status":"public","_id":"430","date_created":"2017-10-17T12:42:15Z","citation":{"apa":"Krakau, A. (2014). <i>Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT</i>. Universität Paderborn.","chicago":"Krakau, Andreas. <i>Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT</i>. Universität Paderborn, 2014.","mla":"Krakau, Andreas. <i>Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT</i>. Universität Paderborn, 2014.","ieee":"A. Krakau, <i>Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT</i>. Universität Paderborn, 2014.","bibtex":"@book{Krakau_2014, title={Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT}, publisher={Universität Paderborn}, author={Krakau, Andreas}, year={2014} }","ama":"Krakau A. <i>Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT</i>. Universität Paderborn; 2014.","short":"A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, Universität Paderborn, 2014."},"project":[{"name":"SFB 901","_id":"1"},{"_id":"11","name":"SFB 901 - Subprojekt B3"},{"_id":"3","name":"SFB 901 - Project Area B"}],"type":"bachelorsthesis","publisher":"Universität Paderborn"}