Karsten Homann. Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. Volume 152 of DISKI, Infix Verlag, St. Augustin, Germany, 1997.
No references recorded for this publication.
No citations of this publication recorded.