Matches in SemOpenAlex for { <https://semopenalex.org/location/W20007787091> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W20007787091 hasURL "https://doi.org/10.1017/s0956796803004921" @default.
- W20007787091 type Location @default.
- W20007787091 hasSource S12266929 @default.
- W20007787091 hasVersion "publishedVersion" @default.
- W20007787091 isOa "true" @default.
- W20007787091 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C968F39F6E1649C722A4572FAB862F0C/S0956796803004921a.pdf/div-class-title-dependent-types-ensure-partial-correctness-of-theorem-provers-div.pdf" @default.