ECLiPSe a řešení úloh s omezujícími podmínkami

Rollo, M.

ROLLO, M. ECLiPSe a řešení úloh s omezujícími podmínkami. [Výzkumná zpráva] Praha: ČVUT FEL, Katedra kybernetiky - Gerstnerova laboratoř, 2002. Zpráva č. GLR 69/02.