01260nam a2200265 a 4500 TVCDKTCT7598 Thư viện trường Cao đẳng Kỹ thuật Cao Thắng 20170524091920.2 070622 Thư viện Trường CĐ Kỹ Thuật Cao Thắng RG_1 #1 eb0 i1 i5 07524072 vie 005 / T200C-o Outin Helene Technique et science informatiques / Outin Helene In lần thứ 1 Paris : Hermes , 1995 799tr. ; 23cm Constraint logic proramming has proved to be a successful field of research fom both the theoretical and practical points of view. it combines the ease of programming and the declarativity of logic programming with the power and efficiency of computing on particular domains, thanks to specific and optimized tools (constraints solves).We propose a survey of this domain presenting the main research topics. Science informatiques Technique Công nghệ thông tin Kho Sách 100021144, 100021149, 100021155, 100021170 Kho Tra Cứu 500002994, 500003015, 500003020, 500003029