机译:在第六届国际数学与模拟计算机协会(IMACS)计算机代数应用会议(ACA'2000)上的会议“科学与工程中的间隔和计算机代数方法”
机译:阅读书籍:计算机科学的离散数学:学习数学的这一分支可以为您提供扎实的计算机理论和应用背景
机译:手持计算机代数系统在离散数学中的应用研究
机译:基于数学辩证命题逻辑的连续值逻辑代数研究
机译:辅助计算机辅助教学对高风险少数民族学生的基础代数1和基础代数2成绩水平的影响。
机译:ADAM:使用计算机代数分析生物系统的离散模型
机译:以共轭布尔代数为特征的逻辑(克隆理论与离散数学・与计算机科学相关的代数与逻辑)
机译:代数逻辑与通用代数在计算机科学中的应用