Matches in SemOpenAlex for { <https://semopenalex.org/location/W20389779781> ?p ?o ?g. }
Showing items 1 to 6 of
6
with 100 items per page.
- W20389779781 hasURL "https://doi.org/10.1017/s0956796807006338" @default.
- W20389779781 type Location @default.
- W20389779781 hasSource S12266929 @default.
- W20389779781 hasVersion "publishedVersion" @default.
- W20389779781 isOa "true" @default.
- W20389779781 pdfUrl "https://www.cambridge.org/core/services/aop-cambridge-core/content/view/CA24027BF9359A7B0DF2A06CCED49DEA/S0956796807006338a.pdf/div-class-title-efficient-execution-in-an-automated-reasoning-environment-div.pdf" @default.