Found 2 Software Packages (Results 1–2)


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:


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)