--- _id: '472' author: - first_name: Marco full_name: Engelbrecht, Marco last_name: Engelbrecht citation: ama: Engelbrecht M. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn; 2013. apa: Engelbrecht, M. (2013). Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn. bibtex: '@book{Engelbrecht_2013, title={Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern}, publisher={Universität Paderborn}, author={Engelbrecht, Marco}, year={2013} }' chicago: Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn, 2013. ieee: M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn, 2013. mla: Engelbrecht, Marco. Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern. Universität Paderborn, 2013. short: M. Engelbrecht, Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern, Universität Paderborn, 2013. date_created: 2017-10-17T12:42:24Z date_updated: 2022-01-06T07:01:19Z language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '11' name: SFB 901 - Subprojekt B3 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public title: Vergleichsstudie zur Ausdrucksstärke von SMT-Solvern type: bachelorsthesis user_id: '477' year: '2013' ...