Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书
简体网页||繁体网页
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书 著者简介
Computer Science Logic 计算机科学逻辑 电子书 图书目录
点击这里下载
发表于2025-01-01
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书
喜欢 Computer Science Logic 计算机科学逻辑 电子书 的读者还喜欢
Computer Science Logic 计算机科学逻辑 电子书 读后感
图书标签:
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书 图书描述
在线阅读本书
This book constitutes the refereed proceedings of the 15th International Workshop on Computer Science Logic, CSL 2001, held as the 10th Annual Conerence of the EACSL in Paris, France in September 2001. The 39 revised full papers presented together with two invited papers were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on linear logic, descriptive complexity, semantics, higher-order programs, model logics, verification, automata, lambda calculus, induction, equational calculus, and constructive theory of types.
length: (cm)23.3 width:(cm)15.5
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 用户评价
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书
分享链接
Computer Science Logic 计算机科学逻辑 2025 pdf epub mobi 电子书 下载链接
相关图书
-
水墨写生 2025 pdf epub mobi 电子书 -
鼠标画 2025 pdf epub mobi 电子书
-
人物速写 2025 pdf epub mobi 电子书
-
元博色彩静物 2025 pdf epub mobi 电子书
-
安全教育节日板墙报 2025 pdf epub mobi 电子书
-
人大代表依法履职必读 2025 pdf epub mobi 电子书
-
培养孩子高智商的80个益智游戏 2025 pdf epub mobi 电子书
-
创新学习 2025 pdf epub mobi 电子书
-
人生哲理每日读 2025 pdf epub mobi 电子书
-
中共党史学习读本 2025 pdf epub mobi 电子书
-
谜语300则 2025 pdf epub mobi 电子书
-
名师精评2009年高考满分作文 2025 pdf epub mobi 电子书
-
大学生心理卫生 2025 pdf epub mobi 电子书
-
绿色环保专题板墙报 2025 pdf epub mobi 电子书
-
进取心决定孩子一生 2025 pdf epub mobi 电子书
-
Web Engineering 2025 pdf epub mobi 电子书
-
不要抱怨工作 2025 pdf epub mobi 电子书
-
人生三书 2025 pdf epub mobi 电子书
-
责任心成就孩子一生 2025 pdf epub mobi 电子书
-
自信心改变孩子一生 2025 pdf epub mobi 电子书
