Search ID

kti.ms.mff.cuni.cz

Constraint and Logic Programming research group. People, research projects, publications and resources.

URLs from kti.ms.mff.cuni.cz:

URL: http://kti.ms.mff.cuni.cz/~bartak/prolog/contents.html URL: http://kti.ms.mff.cuni.cz/~bartak/clp URL: http://kti.ms.mff.cuni.cz/~bartak/constraints/