登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Logic of Computation
EISBN:
9783642590481
PISBN:
9783540629634
出版社:
Springer Berlin Heidelberg
出版类型:
Proceedings
出版时间:
1997
版次:
1997
作者:
Helmut Schwichtenberg
主题词:
Computer Science,Theory of Computation,Software Engineering,Programming and Operating Systems,Computer System Implementation,Logics and Meanings of Programs,Software Engineering,Mathematical Logic and Formal Languages
语种:
英语
所属数据库:
SpringerLink电子图书(1815-2004)
丛书题名:
Nato ASI Subseries F:
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Logic of Computation
作者:
Helmut Schwichtenberg
EISBN:
9783642590481
出版社:
Springer Berlin Heidelberg
出版时间:
1997
Logic, Language and Computation
作者:
Seiki Akama
EISBN:
9789401156387
出版社:
Springer Netherlands
出版时间:
1997
Language, Logic, and Computation
作者:
Alexandra Silva,Sam Staton,Peter Sutton,Carla Umbach
EISBN:
9783662595657
出版社:
Springer Berlin Heidelberg
出版时间:
2019
Logic, Language, and Computation
作者:
Helle Hvid Hansen,Sarah E. Murray,Mehrnoosh Sadrzadeh,Henk Zeevat
EISBN:
9783662543320
出版社:
Springer Berlin Heidelberg
出版时间:
2017
Computation Theory and Logic
作者:
Egon Börger
EISBN:
9783540477952
出版社:
Springer Berlin Heidelberg
出版时间:
1987
Logic, Language, and Computation
作者:
Martin Aher,Daniel Hole,Emil Jeřábek,Clemens Kupke
EISBN:
9783662469064
出版社:
Springer Berlin Heidelberg
出版时间:
2015
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。