pub:projects:hekate
This is an old revision of the document!
HeKatE
- 2007→2009 - HeKatE (Grant MNiSW N516 024 32/2878) Hybrid Knowledge Engineering: project coordination, XTT2 and ARD+ design methods concepts and tools
design editor engine formal_analysis hekate intelligent_systems prolog rule-based_systems rules translator visual xtt ard current_project
pub/projects/hekate.1248869679.txt.gz · Last modified: 2009/07/29 12:14 by admin