1 search results - page 1 / 1 » ekaw 1994 |
130
Voted
EKAW
1994
Springer
15 years 6 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...