Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
2005
|
| Other Authors: | |
|---|---|
| Format: | Conference item |
| Published: |
Springer−Verlag
2005
|