Specification and verification of knowledge-based systems release_ytbh3lozdrco5l3ggylzbvfbpa

by Dieter Fensel, Arno Schoenegge, Rix Groenboom, Bob Wielinga

1
author
2
author
3
author
4
author