TAG: ai

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…
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