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
Information retrieval from hospital information system: Increasing effectivity using swarm intelligence
Tập 13 - Trang 126-137 - 2015
The computational complexity of scenario-based agent verification and design
Tập 5 - Trang 252-276 - 2007