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