Linear Logic in Computer Science(London Mathematical Society Lecture Note Series)

计算科学中的线性逻辑

数理逻辑与数学基础

原   价:
411.25
售   价:
329.00
优惠
平台大促 低至8折优惠
发货周期:预计5-7周发货
作      者
出  版 社
出版时间
2004年11月01日
装      帧
平装
ISBN
9780521608572
复制
页      码
392
开      本
228×152×20mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 5 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.
馆藏图书馆
Princeton University Library
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个