Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
1994
|
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
1994
|