Symbolisches Lösen mathematischer Probleme durch Kooperation algorithmischer und logischer SystemeKarsten HomannÉpuisé4,3Prévenez-moi
