期刊详情

Journal Of Logical And Algebraic Methods In Programming

立即访问
语言: 英文
所在数据库: Elsevier Science Inc
更新时间: 2026-03-29 14:21:13

期刊详情

Journal of Logical and Algebraic Methods in Programming 致力于编程中的逻辑与代数方法,研究形式化方法、程序语义、代数规范、并发系统验证及软件工程的数学基础。
专业
计算机科学 理论 方法 逻辑学 计算理论 数学 软件 逻辑学 理论计算机科学 社会学 政治学 文化研究 政治学 国际关系
分区
SCIE EI