） 伦敦帝国学院（MICHAEL Huth）著. 面向计算 机科学的数理逻辑系统建模与推理 （英文版•第二版）.
基于4个网页-相关网页
michael huth
迈克尔·胡特
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Michael Ballack, Robert Huth, John Terry, Wayne Bridge, Frank Lampard and Joe Cole have all reached the last 16 of the World Cup.
米歇尔·巴拉克、罗伯特·胡特、约翰·特里、维伊恩·布里奇、弗兰克·兰帕德以及乔·科尔都成功随队晋级世界杯16强。
youdao
应用推荐
模块上移
模块下移
不移动