期刊详情
Journal Of Logic And Computation
立即访问
语言：
英文
所在数据库：
Oxford Univ Press
更新时间：
2026-03-29 14:21:13
期刊详情
Journal of Logic and Computation 致力于逻辑与计算，发表关于数理逻辑、计算机科学中的逻辑应用、自动推理、程序验证、类型论及逻辑在人工智能中基础理论的研究。