%0 Thesis %1 simons1996presentation %A Simons, Martin %D 1996 %K %T ˜Theœ presentation of formal proofs

@phdthesis{simons1996presentation, added-at = {2023-12-12T23:59:26.000+0100}, author = {Simons, Martin}, biburl = {https://www.bibsonomy.org/bibtex/22cc4a3c67a4469f716a246a3d8c35486/admin}, dnbtitleid = {949886416}, interhash = {5d3700ed3124834c85ecc9941e8c85b5}, intrahash = {2cc4a3c67a4469f716a246a3d8c35486}, keywords = {}, school = {TU Berlin}, timestamp = {2023-12-12T23:59:26.000+0100}, title = {˜Theœ presentation of formal proofs}, year = 1996 }