登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Computer Science Logic
EISBN:
9783540301240
PISBN:
9783540230243
出版社:
Springer Berlin Heidelberg
出版类型:
Proceedings
出版时间:
2004
版次:
2004
作者:
Jerzy Marcinkowski
主题词:
Computer Science,Programming Languages,Compilers,Interpreters,Mathematical Logic and Formal Languages,Logics and Meanings of Programs
语种:
英语
所属数据库:
SpringerLink电子图书(1815-2004)
丛书题名:
Lecture Notes in Computer Science
2浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Computer Science Logic
作者:
Zoltán Ésik
EISBN:
9783540454595
出版社:
Springer Berlin Heidelberg
出版时间:
2006
Computer Science Logic
作者:
Matthias Baaz,Johann M. Makowsky
EISBN:
9783540452201
出版社:
Springer Berlin Heidelberg
出版时间:
2003
Computer Science Logic
作者:
Laurent Fribourg
EISBN:
9783540448020
出版社:
Springer Berlin Heidelberg
出版时间:
2001
Computer Science Logic
作者:
Laurent Fribourg
EISBN:
9783540448020
出版社:
Springer Berlin Heidelberg
出版时间:
2001
Logic and Computer Science
作者:
Steven Homer,Anil Nerode,Richard A. Platek,Gerald E. Sacks,Andre Scedrov,Piergiorgio Odifreddi
EISBN:
9783540471356
出版社:
Springer Berlin Heidelberg
出版时间:
1990
Computer Science Logic
作者:
Matthias Baaz,Johann A. Makowsky
EISBN:
9783540452201
出版社:
Springer Berlin Heidelberg
出版时间:
2003
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。