Journal of Applied Logic
SCOPUS (2003-2017)
1570-8683
Cơ quản chủ quản: N/A
Phân tích ảnh hưởng
Các bài báo tiêu biểu
A general first-order solution to the ramification problem with cycles
Tập 11 - Trang 289-308 - 2013
On the combination of support vector machines and segmentation algorithms for anomaly detection: A petroleum industry comparative study
Tập 24 - Trang 71-84 - 2017
Efficient incremental planning and learning with multi-valued decision diagrams
Tập 22 - Trang 63-90 - 2017