Publication | Closed Access
GALEN based formal representation of ICD10
18
Citations
6
References
2006
Year
EngineeringPhysicsAutomated ReasoningNatural SciencesParticle PhysicsFormal MethodsFormal RepresentationComputer AlgebraHigher-order LogicFormal VerificationSymbolic Computation
| Year | Citations | |
|---|---|---|
Page 1
Page 1