出版物

过滤器：作者是C.维拉里诺  [清除所有筛选器]
会议记录
Saludes J公司,XambóS公司.面向多语言机械化数学助理 Sendra JR公司,维拉里诺C，编辑。 EACA 2012（会议记录）2012年：163–166。阵列