---
_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'
...