Digitale Bibliotheek
Sluiten
Bladeren door artikelen uit een tijdschrift
Zoeken naar
Tijdschrift
Artikel
ISSN
NBN artikel
NBN tijdschrift
DARE/NARCIS document
met titel:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
nr
titel
auteur
tijdschrift
jaar
jaarg.
afl.
pagina('s)
type
1
An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs
Anjos, Miguel F.
48
1-2
p. 1-14
artikel
2
An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs
Anjos, Miguel F.
2007
48
1-2
p. 1-14
artikel
3
A split-combination approach to merging knowledge bases in possibilistic logic
Qi, Guilin
48
1-2
p. 45-84
artikel
4
A split-combination approach to merging knowledge bases in possibilistic logic
Qi, Guilin
2007
48
1-2
p. 45-84
artikel
5
Learning parallel portfolios of algorithms
Petrik, Marek
48
1-2
p. 85-106
artikel
6
Learning parallel portfolios of algorithms
Petrik, Marek
2007
48
1-2
p. 85-106
artikel
7
Mechanizing common knowledge logic using COQ
Lescanne, Pierre
48
1-2
p. 15-43
artikel
8
Mechanizing common knowledge logic using COQ
Lescanne, Pierre
2007
48
1-2
p. 15-43
artikel
8 gevonden resultaten
Koninklijke Bibliotheek -
Nationale Bibliotheek van Nederland