登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
电子图书
图书详情
Analysis and Synthesis of Logics
EISBN:
9781402067822
PISBN:
9781402067815
出版社:
Springer Netherlands
出版类型:
Monograph
出版时间:
2008
作者:
Walter Carnielli,Marcelo Coniglio,Dov M. Gabbay,Paula Gouveia,Cristina Sernadas
主题词:
Mathematical Logic and Foundations,Logic,Mathematical Logic and Formal Languages
语种:
英语
所属数据库:
SpringerLink电子图书
丛书题名:
Applied Logic Series
1浏览量
问图书管理员
馆际互借
查看订购单位
点赞
收藏
原文链接
分享
相关推荐
Systems Analysis and Synthesis
作者:
Dwyer,Barry
PISBN:
9780128053041
出版时间:
2016
The Peptides Analysis Synthesis Biology
作者:
Gross,Erhard
PISBN:
9780123042040
出版时间:
Legacy
Analysis and Synthesis of MOS Translinear Circuits
作者:
Remco J. Wiegerink
EISBN:
9781461532149
出版社:
Springer US
出版时间:
1993
Basic Matrix Analysis and Synthesis
作者:
Zelinger,G.
PISBN:
9781483199061
出版时间:
Legacy
Hadamard Matrix Analysis and Synthesis
作者:
R. K. Rao Yarlagadda,John E. Hershey
EISBN:
9781461563136
出版社:
Springer US
出版时间:
1997
Analysis and Synthesis of Networked Control Systems
作者:
Yuanqing Xia,Mengyin Fu,Guo-Ping Liu
EISBN:
9783642179259
出版社:
Springer Berlin Heidelberg
出版时间:
2011
×
订购单位
×
电子书下载
将全部文件下载下来,放在一个目录中,右键点击后缀名为.zip的文件,用 winrar 、360压缩等压缩软件解压,就都能解压出来了。