@未收集{zbMATH06983514,作者{Henrich{Lauko}和Petr{Ro\v{c}kai}和Ji\v{r}'{\i}{Barnat}},Title={通过程序转换进行符号计算},书名{计算的理论方面——ICTAC 2018。第15届国际学术讨论会,Stellenbosch,南非,2018年10月16-19日。会议记录},ISBN={978-3-030-02507-6;978-3-030-02508-3},页数={313--332},年份:{2018},Publisher={Cham:Springer},语言{英语},DOI={10.1007/978-3-030-02508-3_17},MSC2010={68Qxx}}