nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
AI—A multiple book review
|
Furbach, Ulrich |
|
2003 |
145 |
1-2 |
p. 245-252 8 p. |
artikel |
2 |
Author Index—Volume 145 (2003)
|
|
|
2003 |
145 |
1-2 |
p. 257- 1 p. |
artikel |
3 |
Backjumping for Quantified Boolean Logic satisfiability
|
Giunchiglia, Enrico |
|
2003 |
145 |
1-2 |
p. 99-120 22 p. |
artikel |
4 |
BOB: Improved winner determination in combinatorial auctions and generalizations
|
Sandholm, Tuomas |
|
2003 |
145 |
1-2 |
p. 33-58 26 p. |
artikel |
5 |
Diagram processing: Computing with diagrams
|
Anderson, Michael |
|
2003 |
145 |
1-2 |
p. 181-226 46 p. |
artikel |
6 |
Editorial Board
|
|
|
2003 |
145 |
1-2 |
p. IFC- 1 p. |
artikel |
7 |
Establishing motion correspondence using extended temporal scope
|
Veenman, C.J. |
|
2003 |
145 |
1-2 |
p. 227-243 17 p. |
artikel |
8 |
Forthcoming Papers
|
|
|
2003 |
145 |
1-2 |
p. 253-256 4 p. |
artikel |
9 |
Multiobjective heuristic state-space planning
|
Refanidis, Ioannis |
|
2003 |
145 |
1-2 |
p. 1-32 32 p. |
artikel |
10 |
Multiple agent-based autonomy for satellite constellations
|
Schetter, Thomas |
|
2003 |
145 |
1-2 |
p. 147-180 34 p. |
artikel |
11 |
Region Connection Calculus: Its models and composition table
|
Li, Sanjiang |
|
2003 |
145 |
1-2 |
p. 121-146 26 p. |
artikel |
12 |
Towards an analytic framework for analysing the computation time of evolutionary algorithms
|
He, Jun |
|
2003 |
145 |
1-2 |
p. 59-97 39 p. |
artikel |