-
1
-
2
-
3
-
4
-
5
Medico-legal implications of sleep apnoea syndrome: Driving license regulations in Europe
Veröffentlicht in Sleep medicine
VolltextArtikel -
6
P0004 Autonomic control in CAD patients with metabolic syndrome and sleep apnea
Veröffentlicht in Sleep medicine
VolltextArtikel -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
Sequent calculus for propositional likelihood logic
Veröffentlicht in Lietuvos matematikos rinkinys
VolltextArtikel -
15
More efficient proof-search for sequents of temporal logic
Veröffentlicht in Lietuvos matematikos rinkinys
VolltextArtikel -
16
Brodsky’s coding method for propositional logic
Veröffentlicht in Lietuvos matematikos rinkinys
VolltextArtikel -
17
A proof-search system for the logic of likelihood
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
18
A proof-search system for the logic of likelihood (vol 28, pg 261, 2020)
Veröffentlicht in Logic journal of the IGPL
VolltextArtikel -
19
-
20
A proof-search procedure for intuitionistic propositional logic
Veröffentlicht in Archive for mathematical logic
VolltextArtikel