PLM Software Authors: Daniel Kirchner Cited in: 3 Publications (2020) Related Software: Isabelle/HOL; LogiKEy; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
cTAKES Software Authors: Savova GK, Masanz JJ, Ogren PV, Zheng J, Sohn S, Kipper-Schuler KC, et al. Cited in: 0 Publications Related Software: HITEx; Leo; NLTK; Moonstone; QuickUMLS; RuSH; … Main Fields: –