책 이미지
eBook 미리보기
책 정보
· 제목 : Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, Tableaux 2021, Birmingham, Uk, September 6-9, 2021, Pro (Paperback, 2021)
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783030860585
· 쪽수 : 467쪽
· 출판일 : 2021-09-01
· 분류 : 외국도서 > 컴퓨터 > 인공지능(AI)
· ISBN : 9783030860585
· 쪽수 : 467쪽
· 출판일 : 2021-09-01
목차
Tableau Calculi.- Sequent Calculi.- Theorem Proving.- Formalized Proofs.- Non-Wellfounded Proofs.- Intuitionistic Modal Logics.
