机译:在工具支持下将状态机从方程式理论转换为重写理论*
The authors are with Japan Advanced Institute of Science and Technology (JAIST), Nomi-shi, 923-1292 Japan;
The authors are with Japan Advanced Institute of Science and Technology (JAIST), Nomi-shi, 923-1292 Japan;
The author is with Kanazawa University, Kanazawa-shi, 920-1192 Japan;
specification translation; cafeOBJ; maude; equational theory specification; rewrite theory specification;
机译:矫正器理论的状态机翻译成型工具支持的原理
机译:使用奥克斯利预测加工理论对本构方程进行反演并确定复杂刀具的切削力模型
机译:高阶方程的证明理论:保守性,范式和术语重写
机译:状态机从方程理论到重写理论的规范转换
机译:支持开发人员工具使用的工具(错误)通信理论和自适应方法
机译:基于机器学习的临床决策的伦理:通过专业理论镜头的分析
机译:使用奥克斯利预测加工理论对复杂刀具的本构方程和切削力建模进行逆确定