Login / Signup
Tarmo Lehtpuu
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Support Systems
Logical Implication
Automated Reasoning
Clinical Practice Guidelines
Top Venues
KES-IDT
</>
Publications
</>
Erika Matsak
,
Tarmo Lehtpuu
,
Peeter Lorents
SyLAR - The System for Logic and Automated Reasoning for Situation Management Decision Support Systems.
KES-IDT
(2015)