Reasoning with Inductively Defined Relations in the HOL Theorem Prover
| Principais autores: | , |
|---|---|
| Formato: | Report |
| Publicado em: |
Computer Laboratory‚ University of Cambridge
1992
|
| Principais autores: | , |
|---|---|
| Formato: | Report |
| Publicado em: |
Computer Laboratory‚ University of Cambridge
1992
|