*基于逻辑的人工智能——见人工智能：基于逻辑的人工智能 logic-based artificial intelligence — see artificial intelligence: logic-based

上一页线性逻辑 linear (Roberto Di Cosmo and Dale Miller)下一页多类逻辑 many-sorted (María Manzano and Víctor Aranda)

最后更新于

Logo

道长哲学研讨会 2024