단행본 상세

URL복사하기
서지주요정보
Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings [electronic resource]
서명 / 저자 Intelligent Computer Mathematics [electronic resource] : 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings / edited by Kevin Buzzard, Temur Kutsia.
저자명 Buzzard, Kevin. editor. (orcid)0000-0002-7187-5109 https://orcid.org/0000-0002-7187-5109 edt http://id.loc.gov/vocabulary/relators/edt ; Kutsia, Temur. editor. (orcid)0000-0003-4084-7380 https://orcid.org/0000-0003-4084-7380 edt http://id.loc.gov/vocabulary/relators/edt
단체명 SpringerLink (Online service)
발행사항 Cham : Springer International Publishing : Imprint: Springer, 2022.
Online Access https://doi.org/10.1007/978-3-031-16681-5 URL

서지기타정보

서지기타정보
청구기호 Q342
판사항 1st ed. 2022.
형태사항 XV, 349 p. 231 illus., 137 illus. in color. online resource.
총서명 Lecture Notes in Artificial Intelligence, 2945-9141 ; 13467
언어 English
내용 Invited Talk -- Formalizations -- Digital Libraries and Mathematical Knowledge Management -- Theorem Proving and Expression Transformation -- Satisfiability, QBF, and SMT Solving -- Computer-Aided Teaching -- Datasets and system entries.
주제 Computational intelligence.
Computational Intelligence.
보유판 및 특별호 저록 Springer Nature eBook
Printed edition: 9783031166808 Printed edition: 9783031166822
ISBN 9783031166815
기타 표준번호 10.1007/978-3-031-16681-5
QR CODE

책소개

전체보기

목차

전체보기

홈으로
로그인 외부인 로그인
ENG
닫기