Coq에서 배중률을 사용한 정리의 증명 구조에 대한 탐구
In: 정보과학회 컴퓨팅의 실제 논문지, Jg. 30 (2024-04-30), Heft 4, S. 193-197
academicJournal
Zugriff:
Titel: |
Coq에서 배중률을 사용한 정리의 증명 구조에 대한 탐구
|
---|---|
Autor/in / Beteiligte Person: | 박지희 (Jihee Park) ; 류석영 (Sukyoung Ryu) |
Link: | |
Zeitschrift: | 정보과학회 컴퓨팅의 실제 논문지, Jg. 30 (2024-04-30), Heft 4, S. 193-197 |
Veröffentlichung: | 2024 |
Medientyp: | academicJournal |
ISSN: | 2383-6318 (print) ; 2383-6326 (print) |
Sonstiges: |
|