机译:将XD-C程序转换为MSVL程序
机译:MSVL:时态逻辑编程的一种类型化语言
机译:使用MSVL的线性时间相关约束编程
机译:关于扩展逻辑程序,二值逻辑程序和普通逻辑程序的翻译
机译:低级程序的翻译与转换=转换和转换低级程序
机译:3168临床与转化指导团队(CTMT):波多黎各临床和转化研究(CTR)的学生–本科生(美国)和研究生(GS)–卫生科学课程(HSP)的发展有效策略里科
机译:用英语写作和翻译研究论文:对欧洲普及计划和研究论文的话语社区,学术和特定英语课程
机译:国家特定项目调查项目的翻译:将美国教育水平问题翻译成西班牙语的案例。