Matches in SemOpenAlex for { <https://semopenalex.org/work/W2975458039> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2975458039 abstract "An Insight into HOL-Isabelle/Coq Theorem Provers based Design of Algorithms Using [ Minsky Machines+Scala NLP/Scala/Akka/JikesRVM-Research Virtual Machine/JVM/LLVM ] in the Context of Electronic Health Record [ EHR ] Software R&D - A Simple Suggestion on Using [ NLP+IoT+HPC ]. [ Exploring Challenges involving HOL/Coq+Minsky Machines Theory + NLP Theory Raspberry PI+IoT+HPC Informatics Better Health Care ]" @default.
- W2975458039 created "2019-10-03" @default.
- W2975458039 creator A5030040305 @default.
- W2975458039 date "2019-09-01" @default.
- W2975458039 modified "2023-09-23" @default.
- W2975458039 title "An Insight into HOL-Isabelle/Coq Theorem Provers based Design of Algorithms Using [ Minsky Machines+Scala NLP/Scala/Akka/JikesRVM-Research Virtual Machine/JVM/LLVM ] in the Context of Electronic Health Record [ EHR ] Software R&D - A Simple Suggestion" @default.
- W2975458039 hasPublicationYear "2019" @default.
- W2975458039 type Work @default.
- W2975458039 sameAs 2975458039 @default.
- W2975458039 citedByCount "0" @default.
- W2975458039 crossrefType "posted-content" @default.
- W2975458039 hasAuthorship W2975458039A5030040305 @default.
- W2975458039 hasConcept C108710211 @default.
- W2975458039 hasConcept C109701466 @default.
- W2975458039 hasConcept C11413529 @default.
- W2975458039 hasConcept C151730666 @default.
- W2975458039 hasConcept C154945302 @default.
- W2975458039 hasConcept C17435882 @default.
- W2975458039 hasConcept C199360897 @default.
- W2975458039 hasConcept C203265346 @default.
- W2975458039 hasConcept C206880738 @default.
- W2975458039 hasConcept C2524010 @default.
- W2975458039 hasConcept C2779343474 @default.
- W2975458039 hasConcept C33923547 @default.
- W2975458039 hasConcept C41008148 @default.
- W2975458039 hasConcept C548217200 @default.
- W2975458039 hasConcept C86803240 @default.
- W2975458039 hasConceptScore W2975458039C108710211 @default.
- W2975458039 hasConceptScore W2975458039C109701466 @default.
- W2975458039 hasConceptScore W2975458039C11413529 @default.
- W2975458039 hasConceptScore W2975458039C151730666 @default.
- W2975458039 hasConceptScore W2975458039C154945302 @default.
- W2975458039 hasConceptScore W2975458039C17435882 @default.
- W2975458039 hasConceptScore W2975458039C199360897 @default.
- W2975458039 hasConceptScore W2975458039C203265346 @default.
- W2975458039 hasConceptScore W2975458039C206880738 @default.
- W2975458039 hasConceptScore W2975458039C2524010 @default.
- W2975458039 hasConceptScore W2975458039C2779343474 @default.
- W2975458039 hasConceptScore W2975458039C33923547 @default.
- W2975458039 hasConceptScore W2975458039C41008148 @default.
- W2975458039 hasConceptScore W2975458039C548217200 @default.
- W2975458039 hasConceptScore W2975458039C86803240 @default.
- W2975458039 hasLocation W29754580391 @default.
- W2975458039 hasOpenAccess W2975458039 @default.
- W2975458039 hasPrimaryLocation W29754580391 @default.
- W2975458039 hasRelatedWork W127491551 @default.
- W2975458039 hasRelatedWork W19925744 @default.
- W2975458039 hasRelatedWork W1996228525 @default.
- W2975458039 hasRelatedWork W2053610489 @default.
- W2975458039 hasRelatedWork W2078335615 @default.
- W2975458039 hasRelatedWork W2087659787 @default.
- W2975458039 hasRelatedWork W2141029595 @default.
- W2975458039 hasRelatedWork W2143963275 @default.
- W2975458039 hasRelatedWork W2154978557 @default.
- W2975458039 hasRelatedWork W2172013287 @default.
- W2975458039 hasRelatedWork W2790469097 @default.
- W2975458039 hasRelatedWork W2899311033 @default.
- W2975458039 hasRelatedWork W2900783539 @default.
- W2975458039 hasRelatedWork W2906793984 @default.
- W2975458039 hasRelatedWork W2949483979 @default.
- W2975458039 hasRelatedWork W2979317657 @default.
- W2975458039 hasRelatedWork W2980186141 @default.
- W2975458039 hasRelatedWork W3032775210 @default.
- W2975458039 hasRelatedWork W3046640834 @default.
- W2975458039 hasRelatedWork W564710696 @default.
- W2975458039 isParatext "false" @default.
- W2975458039 isRetracted "false" @default.
- W2975458039 magId "2975458039" @default.
- W2975458039 workType "article" @default.