| http://www.w3.org/ns/prov#value | - term rewriting, analysis and design of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography and security, data types and data structures, theory of data base and knowledge bases, semantics of programming languages, program specification and verification, foundations of functional and logic programming, parallel and distributed computation,
|
