Theoretical Computer Science
Proofs and types
Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
| Hi-index | 0.00 |