Open AccessNâng cao hiệu quả suy diễn tự động trong bài toán chứng minh
Author(s) -
Nguyễn Thanh Thủy,
Nguyễn Hữu Đức,
Nguyễn Vũ Quốc Hưng
Publication year - 2016
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/14/4/7966
Subject(s) - heuristics , predicate (mathematical logic) , inference , computer science , propositional calculus , mathematics , theoretical computer science , algorithm , artificial intelligence , programming language , discrete mathematics , mathematical optimization