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