t_wの輪郭
RSS
はんばく
2024/3/17 12:06:00
反駁
はんばく
refutation
導出
反駁
2024/3/17 12:06:00
refutation
導出を用いた背理法証明
『プログラミング言語論 第9回 論理型プログラミング言語 担当:犬塚』