Induction as a tool for conceptual coherence in computer science
Proceedings of the 46th Annual Southeast Regional Conference on XX
PlWiki --- A Generic Semantic Wiki Architecture
ICCCI '09 Proceedings of the 1st International Conference on Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems
Linear and temporal logic programming language
ACS'06 Proceedings of the 6th WSEAS international conference on Applied computer science
The HeKatE methodology. Hybrid engineering of intelligent systems
International Journal of Applied Mathematics and Computer Science - Computational Intelligence in Modern Control Systems
Teaching experience: logic and formal methods with coq
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Hi-index | 0.00 |