%0 Thesis %1 beckstein1988logik %A Beckstein, Clemens %D 1988 %K %T Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz

@phdthesis{beckstein1988logik, added-at = {2023-12-12T18:04:35.000+0100}, author = {Beckstein, Clemens}, biburl = {https://www.bibsonomy.org/bibtex/21d39ddd2c3cc1d409d5fa062be0539c4/admin}, dnbtitleid = {890918163}, interhash = {0d0ddf3cca6ffbd9153b29627b86a438}, intrahash = {1d39ddd2c3cc1d409d5fa062be0539c4}, keywords = {}, school = {Uni Erlangen-Nürnberg}, timestamp = {2023-12-12T18:04:35.000+0100}, title = {Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz}, year = 1988 }