Matches in SemOpenAlex for { <https://semopenalex.org/location/W20995712831> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W20995712831 hasURL "https://doi.org/10.1112/s1461157000000176" @default.
- W20995712831 type Location @default.
- W20995712831 hasSource S118668765 @default.
- W20995712831 hasVersion "publishedVersion" @default.
- W20995712831 isOa "true" @default.
- W20995712831 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5C4FBB3FE20712D8FD5070AFEC096ED9/S1461157000000176a.pdf/div-class-title-a-mechanically-checked-proof-of-ieee-compliance-of-the-floating-point-multiplication-division-and-square-root-algorithms-of-the-amd-k7-span-class-sup-span-processor-div.pdf" @default.