TAG: completed_project

Adder * 2005->2006 - Adder (Grant KBN 4 T11C 035 2) research on formal methods in design of correct real-time and embedded systems, including rule-based syst…
Bimloq Business Models Optimization for Quality (BIMLOQ) * MNiSW Research Grant no. N516 422338 * Project Leader: prof. dr hab. inż. Antoni Ligęza * P…
HeKatE Hybrid Knowledge Engineering (HeKatE) * NCN Grant no. NCN N516 024 32/2878 * Project Leader: prof. dr hab. inż. Antoni Ligęza * Project coordin…
Mirella * 2003->2004 - Mirella (Grant KBN 4 T11C 027 24) Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems: propos…
Regulus * 1999->2001 - Regulus (Grant KBN 8 T11C 019 17) research on formal methods in knowledge engineering and artificial intelligence: analysis of Prolog-…
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0