Matches in SemOpenAlex for { <https://semopenalex.org/location/W21525400971> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W21525400971 hasURL "https://doi.org/10.1017/s0956796805005757" @default.
- W21525400971 type Location @default.
- W21525400971 hasSource S12266929 @default.
- W21525400971 hasVersion "publishedVersion" @default.
- W21525400971 isOa "true" @default.
- W21525400971 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FB955BDD939520270BA0B07796CD08FC/S0956796805005757a.pdf/div-class-title-a-reflective-functional-language-for-hardware-design-and-theorem-proving-div.pdf" @default.