DMCA

Theory and Practice of Logic Programming 1 Automatic Generation of CHR Constraint Solvers SLIM ABDENNADHER

by Christophe Rigotti