Search results 2
Paper図書
National Diet Library
- Subject Heading線形論理 相意味論 証明の正規化定理 (強) 停止性 計算モデル 高階論理 並行計算 カツト消去定理
Paper図書
National Diet Library
- Subject Heading高階論理 λ 算法 単一化アルゴリズム 定理証明 証明の機械化 論理...
Reached to the end of result.
Reached to the end of result.