Journal of Applied Logic
1570-8683
Cơ quản chủ quản: N/A
Lĩnh vực:
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
Tractable query answering and rewriting under description logic constraints
Tập 8 - Trang 186-209 - 2010
MizarMode—an integrated proof assistance tool for the Mizar way of formalizing mathematics
Tập 4 - Trang 414-427 - 2006
An examination of the SEP candidate analogical inference rule within pure inductive logic
Tập 14 - Trang 22-45 - 2016