%0 Journal Article %T DEPICT: A High-level Formal Language for Modeling Constraint Satisfaction Problems
DEPICT: A High-level Formal Language for Modeling Constraint Satisfaction Problems %A Abdulwahed M Abbas %A Edward P K Tsang %A Ahmad H Nasri %A
Abdulwahed M.Abbas %A Edward P.K.Tsang %A Ahmad H.Nasri %J 国际自动化与计算杂志 %D 2008 %I %K Constraint satisfaction problems(CSPs)and languages %K formal specifications %K typed predicate calculus %K language interpreter
CSPs %K 计算机语言 %K 语言程序 %K 计算机技术 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7139AD613512F4F05F6D525B914296AA&aid=B0BB534976DED2A3D4D20B974B9B5240&yid=67289AFF6305E306&vid=94C357A881DFC066&iid=0B39A22176CE99FB&sid=3D9746C06EC12B45&eid=CEC789B3C68C3BB3&journal_id=1476-8186&journal_name=国际自动化与计算杂志&referenced_num=0&reference_num=28