ICAI

1.TheIn this thesis an ICAI system is built for this subject using automatic reasoning.

本文恰是从事这方面的工作，研究一个带有自动推理能的程序设ICAI系统。