Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
| מחברים אחרים: | |
|---|---|
| פורמט: | Conference item |
| יצא לאור: |
University of Malta
1994
|
| מחברים אחרים: | |
|---|---|
| פורמט: | Conference item |
| יצא לאור: |
University of Malta
1994
|