Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
University of Malta
1994
|
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
University of Malta
1994
|