Symbolisches Losen mathematischer Probleme durch Kooperation algorithmischer und logischer Systeme (1996)

by K Homann