Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Linas Petrauskas"'
Autor:
Gediminas Urbonas, Lina Vencevičienė, Leonas Valius, Ieva Krivickienė, Linas Petrauskas, Gintarė Lazarenkienė, Justina Karpavičienė, Gabrielė Briedė, Emilė Žučenkienė, Karolis Vencevičius
Publikováno v:
Medicina, Vol 56, Iss 3, p 134 (2020)
Background and Objectives: Cardiovascular disease (CVD) prevention guidelines define targets for lifestyle and risk factors for patients at high risk of developing CVD. We assessed the control of these factors, as well as CVD risk perception in patie
Externí odkaz:
https://doaj.org/article/b17cc3e0959a4f7c8f4c0f5ab3723f78
Autor:
Stanislovas Norgėla, Linas Petrauskas
Publikováno v:
Lietuvos Matematikos Rinkinys, Vol 51, Iss proc. LMS (2010)
This paper describes a procedure to transform formulae of hybrid logic H(@) over transitive and reflexive frames into their clausal form.
Externí odkaz:
https://doaj.org/article/5b2cb97c697d4ac287b33fe13dcf450c