ดาวน์โหลด Linnk AI
•
ผู้ช่วยวิจัยอัตโนมัติ
>
ลงชื่อเข้าใช้
ข้อมูลเชิงลึก
-
선언적 의미론 기반 단순 호몰로지 연구
선언적 의미론 기반 단순 호몰로지
선언적 의미론을 통해 선형 논리의 증명을 기하학적 공간으로 표현하고, 이의 호몰로지 특성을 연구하고자 한다.
1