art automatedreasoningtool
...自动推理文法 automatic inference grammar 自动推理工具 ART AutomatedReasoningTool 人工智能、自动推理与符号计算 Artificial intelligence, automated reasoning, and symbolic computation ..
基于76个网页-相关网页
art automatedreasoningtool
艺术automatedreasoningtool
以上为机器翻译结果，长、整句建议使用 人工翻译 。