| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A backjumping technique for Disjunctive Logic Programming
|
Ricca, Francesco
|
|
2006
|
19 |
2 |
p. 155-172
|
artikel
|
| 2 |
A backjumping technique for Disjunctive Logic Programming
|
Ricca, Francesco
|
|
2006
|
19 |
2 |
p. 155-172
|
artikel
|
| 3 |
Agents' roles in B2C e-commerce
|
Palopoli, Luigi
|
|
2006
|
19 |
2 |
p. 95-126
|
artikel
|
| 4 |
Agents' roles in B2C e-commerce
|
Palopoli, Luigi
|
|
2006
|
19 |
2 |
p. 95-126
|
artikel
|
| 5 |
A guided learning strategy for vision based navigation of 4-legged robots
|
Herrero, Ignacio
|
|
2006
|
19 |
2 |
p. 127-136
|
artikel
|
| 6 |
A guided learning strategy for vision based navigation of 4-legged robots
|
Herrero, Ignacio
|
|
2006
|
19 |
2 |
p. 127-136
|
artikel
|
| 7 |
Automated reasoning in quantified modal and temporal logics
|
Castellini, Claudio
|
|
2006
|
19 |
2 |
p. 183-185
|
artikel
|
| 8 |
Automated reasoning in quantified modal and temporal logics
|
Castellini, Claudio
|
|
2006
|
19 |
2 |
p. 183-185
|
artikel
|
| 9 |
Calendar
|
|
|
2006
|
19 |
2 |
p. 191
|
artikel
|
| 10 |
Calendar
|
|
|
2006
|
19 |
2 |
p. 191
|
artikel
|
| 11 |
Exploiting agents in e-learning and skills management context
|
Garro, Alfredo
|
|
2006
|
19 |
2 |
p. 137-154
|
artikel
|
| 12 |
Exploiting agents in e-learning and skills management context
|
Garro, Alfredo
|
|
2006
|
19 |
2 |
p. 137-154
|
artikel
|
| 13 |
Propositional satisfiability: Techniques, algorithms and applications
|
Lynce, Inês
|
|
2006
|
19 |
2 |
p. 187-189
|
artikel
|
| 14 |
Propositional satisfiability: Techniques, algorithms and applications
|
Lynce, Inês
|
|
2006
|
19 |
2 |
p. 187-189
|
artikel
|
| 15 |
The CADE-20 Automated Theorem Proving Competition
|
Sutcliffe, Geoff
|
|
2006
|
19 |
2 |
p. 173-181
|
artikel
|
| 16 |
The CADE-20 Automated Theorem Proving Competition
|
Sutcliffe, Geoff
|
|
2006
|
19 |
2 |
p. 173-181
|
artikel
|
Tijdschrift beschrijving