Reasoning with Inductively Defined Relations in the HOL Theorem Prover
| Main Authors: | , |
|---|---|
| 格式: | Report |
| 出版: |
Computer Laboratory‚ University of Cambridge
1992
|
| Main Authors: | , |
|---|---|
| 格式: | Report |
| 出版: |
Computer Laboratory‚ University of Cambridge
1992
|