Typed Lambda Calculi and Applications pdf epub mobi txt 电子书 下载 2024
简体网页||繁体网页
Hofmann, Martin 编
315
$ 65.54
9783540403326
图书标签:
喜欢 Typed Lambda Calculi and Applications 的读者还喜欢
下载链接在页面底部
点击这里下载
发表于2024-11-10
Typed Lambda Calculi and Applications epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Typed Lambda Calculi and Applications epub 下载 mobi 下载 pdf 下载 txt 电子书 下载 2024
Typed Lambda Calculi and Applications pdf epub mobi txt 电子书 下载 2024
图书描述
The refereed proceedings of the 6th International Conference on Typed Lambda Calculi and Applications, TLCA 2003, held in Valencia, Spain in June 2003.The 21 revised full papers presented were carefully reviewed and selected from 40 submissions. The volume reports research results on all current aspects of typed lambda calculi, ranging from theoretical and methodological issues to the application of proof assistants.
著者简介
图书目录
Typed Lambda Calculi and Applications pdf epub mobi txt 电子书 下载
用户评价
评分
评分
评分
评分
评分
读后感
评分
评分
评分
评分
评分
类似图书 点击查看全场最低价
Typed Lambda Calculi and Applications pdf epub mobi txt 电子书 下载 2024
分享链接
相关图书
-
Too Big to Fail pdf epub mobi txt 电子书 下载 -
石膏头像 pdf epub mobi txt 电子书 下载
-
Hidden from the Holocaust pdf epub mobi txt 电子书 下载
-
Delft Ceramics at the Philadelphia Museum of Art pdf epub mobi txt 电子书 下载
-
静静的下野地 pdf epub mobi txt 电子书 下载
-
无敌中考英语 pdf epub mobi txt 电子书 下载
-
无敌高考英语 pdf epub mobi txt 电子书 下载
-
袖珍古代经典诵读 pdf epub mobi txt 电子书 下载
-
Microsoft.NET框架1.1类库参考手册（附1光盘） pdf epub mobi txt 电子书 下载
-
企业信用管理实用手册 pdf epub mobi txt 电子书 下载
-
Black Liberation and the American Dream pdf epub mobi txt 电子书 下载
-
中文版Project 2003实用培训教程 pdf epub mobi txt 电子书 下载
-
Catholicism pdf epub mobi txt 电子书 下载
-
女人怎样更优雅 pdf epub mobi txt 电子书 下载
-
高职高专英语入门短训教程 pdf epub mobi txt 电子书 下载
-
英语口语基础教程 pdf epub mobi txt 电子书 下载
-
The Concise Oxford-Paravia Italian Dictionary pdf epub mobi txt 电子书 下载
-
西方新闻写作概论 pdf epub mobi txt 电子书 下载
-
Totems and Teachers pdf epub mobi txt 电子书 下载
-
Delphi程序设计教程 pdf epub mobi txt 电子书 下载
