
Phép chuyển từ đặc tả ẩn tang thành chương trình logic
Author(s) -
Duong Tuan Anh
Publication year - 2018
Publication title -
journal of computer science and cybernetics (vietnam academy of science and technology)/journal of computer science and cybernetics
Language(s) - Vietnamese
Resource type - Journals
eISSN - 2815-5939
pISSN - 1813-9663
DOI - 10.15625/1813-9663/5/3/11177
Subject(s) - prolog , recursion (computer science) , programming language , logic programming , transformation (genetics) , computer science , arithmetic , mathematics , chemistry , biochemistry , gene