%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