-
1
Query Answering with Transitive and Linear-Ordered Data
Veröffentlicht in The Journal of artificial intelligence research
VolltextArtikel -
2
Definability and Interpolation within Decidable Fixpoint Logics
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
3
Macromolecular condensation buffers intracellular water potential
Veröffentlicht in Nature (London)
VolltextArtikel -
4
Caspase 9 Is Essential for Herpes Simplex Virus Type 2-Induced Apoptosis in T Cells
Veröffentlicht in Journal of Virology
VolltextArtikel -
5
CRYPTOCHROMES confer robustness, not rhythmicity, to circadian timekeeping
Veröffentlicht in The EMBO journal
VolltextArtikel -
6
-
7
Inference from Visible Information and Background Knowledge
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
Advances in understanding and treating dystrophic epidermolysis bullosa
Veröffentlicht in F1000 prime reports
VolltextArtikel -
15
-
16
-
17
-
18
Quantification of kerogen content in organic-rich shales from optical photographs
Veröffentlicht in Fuel (Guildford)
VolltextArtikel -
19
INFERENCE FROM VISIBLE INFORMATION AND BACKGROUND KNOWLEDGE
Veröffentlicht in ACM transactions on computational logic
VolltextArtikel