Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             12 gevonden resultaten
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
                             12 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland