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系统。
明:以上句、词性分类均由互联网资源自动生成,部分未经过人工审核,其表达内代表本软件的观点;若发现问题,欢迎向我们指正。