登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Logic of Domains
EISBN：9781461204459
PISBN：9780817635701
出版社：Birkhäuser Boston
出版类型：Monograph
出版时间：1991
版次：1991
作者：G. Zhang
主题词：Computer Science,Math Applications in Computer Science,Mathematical Logic and Foundations,Mathematical Logic and Formal Languages,Logic Design,Logics and Meanings of Programs,Applications of Mathematics
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Progress in Theoretical Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Logic of Domains
  • 作者：Guo-Qiang Zhang
  • EISBN：9781461204459
  • 出版社：Birkhäuser Boston
  • 出版时间：1991
...

Integrating Functional and Temporal Domains in Logic Design
  • 作者：Patrick C. McGeer,Robert K. Brayton
  • EISBN：9781461539605
  • 出版社：Springer US
  • 出版时间：1991
...

Integrating Functional and Temporal Domains in Logic Design
  • 作者：Patrick C. McGeer,Robert K. Brayton
  • EISBN：9781461539605
  • 出版社：Springer US
  • 出版时间：1991
...

Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
  • 作者：Jeroen Janssen,Steven Schockaert,Dirk Vermeir,Martine de Cock
  • EISBN：9789491216596
  • 出版社：Atlantis Press
  • 出版时间：2012
...

Quadrature Domains
  • 作者：Makoto Sakai
  • EISBN：9783540392576
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1982
...

Kingdoms and Domains
  • 作者：Lynn Margulis,Karlene V. Schwartz
  • PISBN：9780123736215
  • 出版时间：2009