Programs were developed that could "prove" assertions by manipulating a database of facts in mathematical logic.

时间:2023-02-02 14:53:46

相似题目