-
1
Statistical modeling of psychosis data
Veröffentlicht in Computer methods and programs in biomedicine
VolltextArtikel -
2
-
3
A theorem prover for verifying iterative programs over integers
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
4
A simple 0.5-bounded greedy algorithm for the 0/1 knapsack problem
Veröffentlicht in Information processing letters
VolltextArtikel -
5
Generalized best first search using single and multiple heuristics
Veröffentlicht in Information sciences
VolltextArtikel -
6
-
7
Increasing search efficiency using multiple heuristics
Veröffentlicht in Information processing letters
VolltextArtikel -
8
-
9
Increasing search efficiency using multiple heuristics
Veröffentlicht in Information processing letters
VolltextArtikel -
10
On the Determination of Irredundant Prime Closed Sets
Veröffentlicht in IEEE transactions on computers
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
Inclusive [formula omitted] production in two-photon collisions at LEP
Veröffentlicht in Physics letters. B
VolltextArtikel -
19
Inclusive π0 and KS0 production in two-photon collisions at LEP
Veröffentlicht in Physics letters. B
VolltextArtikel -
20
Searching game trees under a partial order
Veröffentlicht in Artificial intelligence
VolltextArtikel