Now showing items 21-40 of 41
Subject |
---|
Learning from examples [1] |
Logic programming [1] |
Matriculation results [1] |
Model checking [1] |
Motivation [1] |
Negation-as-failure [1] |
Performance evaluation [1] |
PQ-trees [1] |
Process centered [1] |
Productivity [1] |
Professional responsibility [1] |
Protocol engineering [1] |
Pruning [1] |
Qualitative reasoning [1] |
Resolution [1] |
Selection criteria [1] |
Social impact of computing [1] |
Stratified program [1] |
Transition systems [1] |
University computing curricula [1] |
Now showing items 21-40 of 41