TAG: prolog

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