%0 Thesis %1 rudolph2011reasoning %A Rudolph, Sebastian %D 2011 %K dnb Informatik %T Reasoning and modeling support for logic-based knowledge representation

@phdthesis{rudolph2011reasoning, added-at = {2015-09-08T02:54:12.000+0200}, author = {Rudolph, Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/292b344d77a3a68b997604fa92bcd557e/genealogie}, dnbtitleid = {1024400395}, interhash = {dbc81bd9c12342307367afe704035d5d}, intrahash = {92b344d77a3a68b997604fa92bcd557e}, keywords = {dnb Informatik}, school = {TU Karlsruhe}, timestamp = {2015-09-08T02:54:12.000+0200}, title = {Reasoning and modeling support for logic-based knowledge representation}, type = {habilitation}, year = 2011 }