-
Notifications
You must be signed in to change notification settings - Fork 0
Home
s.omura edited this page Dec 13, 2022
·
38 revisions
- Rubbish
- LogicApplication
- Cake-Recipe
- ES-LO20210402
- 方針2021/03
- Unification and Substitution
- code for unification
- unification and disagree and resolvent
- 意図とテスト
- 0.5階述語prover
- unificationの性能評価
- ViewLogic
- ViewProver(20190825)
- 述語の分析(20190721)
- Factについて
- ways to make Facts
- 00Log
- 00LogJ
- 作業メモ
- 全体について
- テーマ20191027
- 見直す20181211
- connjectureの意味
- 性能比較(naive,cheap)
- 作り直す