|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formalization of programs in first-order logic with a discrete linear order |
Lin, Fangzhen |
2016 |
235 | C |
p. 1-25 25 p. |
artikel |
|
| 2 | Belief and truth in hypothesised behaviours |
Albrecht, Stefano V. |
2016 |
235 | C |
p. 63-94 32 p. |
artikel |
|
| 3 | Editorial Board |
2016 |
235 | C |
p. IFC- 1 p. |
artikel |
||
| 4 | e-NSP: Efficient negative sequential pattern mining |
Cao, Longbing |
2016 |
235 | C |
p. 156-182 27 p. |
artikel |
|
| 5 | MaxSAT by improved instance-specific algorithm configuration |
Ansótegui, Carlos |
2016 |
235 | C |
p. 26-39 14 p. |
artikel |
|
| 6 | Strategyproof matching with regional minimum and maximum quotas |
Goto, Masahiro |
2016 |
235 | C |
p. 40-57 18 p. |
artikel |
|
| 7 | The multifaceted impact of Ada Lovelace in the digital age |
Carlucci Aiello, Luigia |
2016 |
235 | C |
p. 58-62 5 p. |
artikel |
|
| 8 | Tractable approximate deduction for OWL |
Pan, Jeff Z. |
2016 |
235 | C |
p. 95-155 61 p. |
artikel |
8 gevonden resultaten