Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000) Public Deposited

Creator
School
Identifier
  • 10.6083/wm117p338
Date
  • 2000
Document type
Rights
Citation
  • Aagaard, M. "Supplemental proceedings of the 13th international conference on theorem proving in higher order logics (TPHOLs 2000)" (2000). OHSU Digital Collections. https://doi.org/10.6083/wm117p338
License
In Collection:
In Administrative Set:

Items

Downloadable Content