%0 Thesis %1 denzinger1993teamwork %A Denzinger, Jörg %D 1993 %K %T Teamwork: eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser

@phdthesis{denzinger1993teamwork, added-at = {2023-12-13T00:23:40.000+0100}, author = {Denzinger, Jörg}, biburl = {https://www.bibsonomy.org/bibtex/26ba89de8a052eee8aa480e82e6392bb4/admin}, dnbtitleid = {931314674}, interhash = {62b6cc19b79958dd51a7850c2c5794b1}, intrahash = {6ba89de8a052eee8aa480e82e6392bb4}, keywords = {}, school = {Uni Kaiserslautern}, timestamp = {2023-12-13T00:23:40.000+0100}, title = {Teamwork: eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser}, year = 1993 }