PARK Jonghyun について
Pohang Univ. Sci. and Technol.(POSTECH), KOR について
SEO Jeongbong について
Pohang Univ. Sci. and Technol.(POSTECH), KOR について
PARK Sungwoo について
Pohang Univ. Sci. and Technol.(POSTECH), KOR について
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages) について
論理学 について
プログラム検証 について
論理 について
定理証明 について
構造 について
規則 について
性質 について
グラフ構造 について
実用性 について
証拠 について
推論規則 について
数学的論理学 について
分離論理体系 について
数学一般 について
計算機ソフトウエア一般 について