Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme

Karsten Homann. Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme. Volume 152 of DISKI, Infix Verlag, St. Augustin, Germany, 1997.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.