|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
10 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | ACT-P: A configurable theorem-prover |
Hatzilygeroudis, Ioannis |
1994 |
12 | 3 |
p. 277-296 20 p. |
article |
|
| 2 | Author index to volume 12 (1994) |
1994 |
12 | 3 |
p. 363- 1 p. |
article |
||
| 3 | Book announcement |
1994 |
12 | 3 |
p. 361-362 2 p. |
article |
||
| 4 | Calendar |
1994 |
12 | 3 |
p. 367-370 4 p. |
article |
||
| 5 | Clustering techniques in object bases: A survey |
Bertino, Elisa |
1994 |
12 | 3 |
p. 255-275 21 p. |
article |
|
| 6 | EVORM: A conceptual modelling technique for evolving application domains |
Proper, H.A |
1994 |
12 | 3 |
p. 313-359 47 p. |
article |
|
| 7 | Presenting the new Editorial Board members |
1994 |
12 | 3 |
p. 253-254 2 p. |
article |
||
| 8 | Subject index to volume 12 (1994) |
1994 |
12 | 3 |
p. 365- 1 p. |
article |
||
| 9 | The indefinite closed world assumption |
Kong, Q. |
1994 |
12 | 3 |
p. 297-311 15 p. |
article |
|
| 10 | Towards a better balance between data and knowledge engineering |
Treur, Jan |
1994 |
12 | 3 |
p. 251-252 2 p. |
article |
10 results found