%0 Thesis %1 phd/dnb/Reimer15 %A Reimer, Sven %D 2015 %I Der Andere Verlag %K %P 1-174 %T Bekannte Unbekannte: formale Methoden in Anwesenheit unbekannter Werte. %@ 978-3-86247-569-8

@phdthesis{phd/dnb/Reimer15, added-at = {2023-12-12T23:10:15.000+0100}, author = {Reimer, Sven}, biburl = {https://www.bibsonomy.org/bibtex/27f8118a8c6fba018e35f797978e219d3/admin}, ee = {http://d-nb.info/1100184139}, interhash = {52e0480d2403df792fcc40c6bc554d4c}, intrahash = {7f8118a8c6fba018e35f797978e219d3}, isbn = {978-3-86247-569-8}, keywords = {}, pages = {1-174}, publisher = {Der Andere Verlag}, school = {University of Freiburg, Germany}, timestamp = {2023-12-12T23:10:15.000+0100}, title = {Bekannte Unbekannte: formale Methoden in Anwesenheit unbekannter Werte.}, year = 2015 }