TY - BOOK TI - Finite domain constraints: declarativity meets efficiency - theory meets application T3 - T3 - 79 AU - Meyer, Manfred CY - Sankt Augustin PB - Infix PY - 1995 PY - 1995 LA - English LA - German KW - Hochschulschrift KW - Constraint KW - (DE-627) KW - Constraint-logische Programmierung KW - (DE-627) SN - 3929037793 UR - https://katalog.fid-bbi.de/Record/183-180347446 ER -