Karsten Homann. Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. Volume 152 of DISKI, Infix Verlag, St. Augustin, Germany, 1997.
@book{Homann97, title = {Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme}, author = {Karsten Homann}, year = {1997}, researchr = {https://researchr.org/publication/Homann97}, cites = {0}, citedby = {0}, volume = {152}, series = {DISKI}, publisher = {Infix Verlag, St. Augustin, Germany}, isbn = {3-89601-152-9}, }