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

Creator
Identifier
  • https://doi.org/10.6083/wm117p338
Publication Date
  • 2000
Document type
Rights
License

Items