书籍 — automated reasoning

RU

人工智能导论

A

А.В. Остроух

人工智能与机器学习