| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A domain specific language for describing diverse systems of dialogue
|
Wells, S.
|
|
2012
|
10 |
4 |
p. 309-329
21 p.
|
artikel
|
| 2 |
A planner agent that tries its best in presence of nondeterminism
|
do Lago Pereira, Silvio
|
|
2012
|
10 |
4 |
p. 419-430
12 p.
|
artikel
|
| 3 |
Automata for the verification of monadic second-order graph properties
|
Courcelle, Bruno
|
|
2012
|
10 |
4 |
p. 368-409
42 p.
|
artikel
|
| 4 |
Automatic detection of bunches of grapes in natural environment from color images
|
Reis, M.J.C.S.
|
|
2012
|
10 |
4 |
p. 285-290
6 p.
|
artikel
|
| 5 |
Breast cancer MRI diagnosis approach using support vector machine and pulse coupled neural networks
|
Hassanien, Aboul Ella
|
|
2012
|
10 |
4 |
p. 277-284
8 p.
|
artikel
|
| 6 |
Combining genetic algorithms and the finite element method to improve steel industrial processes
|
Sanz-García, A.
|
|
2012
|
10 |
4 |
p. 298-308
11 p.
|
artikel
|
| 7 |
Cut elimination for a logic with induction and co-induction
|
Tiu, Alwen
|
|
2012
|
10 |
4 |
p. 330-367
38 p.
|
artikel
|
| 8 |
Editorial Board
|
|
|
2012
|
10 |
4 |
p. iii-vi
nvt p.
|
artikel
|
| 9 |
Improving the semantics of the Software Cost Reduction method
|
Bourguiba, Imen
|
|
2012
|
10 |
4 |
p. 410-418
9 p.
|
artikel
|
| 10 |
Pitting corrosion behaviour of austenitic stainless steel using artificial intelligence techniques
|
Jiménez-Come, M.J.
|
|
2012
|
10 |
4 |
p. 291-297
7 p.
|
artikel
|
| 11 |
Selected papers from the 6th International Conference on Soft Computing Models in Industrial and Environmental Applications
|
Guest Editors,
|
|
2012
|
10 |
4 |
p. 275-276
2 p.
|
artikel
|
| 12 |
The countable versus uncountable branching recurrences in computability logic
|
Xu, Wenyan
|
|
2012
|
10 |
4 |
p. 431-446
16 p.
|
artikel
|
Tijdschrift beschrijving