Back to Search
Start Over
Taking the hol out of HOL
- Publication Year :
- 2018
- Publisher :
- unav, 2018.
Details
- Database :
- OpenAIRE
- Accession number :
- edsair.doi...........979e2e00b33ea262943238f2ba5b3e1c
- Full Text :
- https://doi.org/10.6083/79407x533