Conference item
Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings
Actions
Bibliographic Details
- Publisher:
- Springer−Verlag
- Volume:
- 3603
- Host title:
- Theorem Proving in Higher Order Logics: 18th International Conference‚ TPHOLs 2005: Oxford‚ UK‚ August 22–25‚ 2005: Proceedings
- Publication date:
- 2005-01-01
- DOI:
- ISSN:
-
0302-9743
- ISBN:
- 3540283722
Item Description
- UUID:
-
uuid:2d6dfe89-b311-499e-966b-e30aa0103eb3
- Local pid:
- cs:4672
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2005
If you are the owner of this record, you can report an update to it here: Report update to this record