TheIn this thesis an ICAI system is built for this subject using automatic reasoning.
本文恰是从事这方面的工作,研究一个带有理功能的程序设计ICAI系统。
TheIn this thesis an ICAI system is built for this subject using automatic reasoning.
本文恰是从事这方面的工作,研究一个带有理功能的程序设计ICAI系统。
明:以上例句、词性分类均网资源生成,部分未经过人工审核,其表达内容亦不代表本软件的观点;若发现问题,欢迎向我们指正。