|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automatic knowledge learning and case adaptation with a hybrid committee approach |
Policastro, Claudio A. |
2006 |
4 | 1 |
p. 26-38 13 p. |
artikel |
|
| 2 | Corrigendum to “A decidable multi-modal logic of context” [Journal of Applied Logic 1 (1–2) (2003) 119–133] |
Nossum, Rolf |
2006 |
4 | 1 |
p. 115- 1 p. |
artikel |
|
| 3 | Editorial Board |
2006 |
4 | 1 |
p. v-viii nvt p. |
artikel |
||
| 4 | Essential unifiers |
Hoche, Michael |
2006 |
4 | 1 |
p. 1-25 25 p. |
artikel |
|
| 5 | Model checking propositional dynamic logic with all extras |
Lange, Martin |
2006 |
4 | 1 |
p. 39-49 11 p. |
artikel |
|
| 6 | The monadic second-order logic of graphs XV: On a conjecture by D. Seese |
Courcelle, Bruno |
2006 |
4 | 1 |
p. 79-114 36 p. |
artikel |
|
| 7 | Using temporal logics of knowledge for specification and verification—a case study |
Dixon, Clare |
2006 |
4 | 1 |
p. 50-78 29 p. |
artikel |
7 gevonden resultaten