책 이미지
eBook 미리보기
책 정보
· 제목 : Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings (Paperback, 2021)
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783030810962
· 쪽수 : 249쪽
· 출판일 : 2021-07-10
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783030810962
· 쪽수 : 249쪽
· 출판일 : 2021-07-10
목차
Formalizations.- Automatic Theorem Proving and Machine Learning.- Search and Classification.- Teaching and Geometric Reasoning.- Logic and Systems.- Abstracts of Invited Speakers.
