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

Constraints in Computational Logics: Theory and Applications
EISBN：9783540454069
PISBN：9783540419501
出版社：Springer Berlin Heidelberg
出版类型：Graduate/advanced undergraduate textbook
出版时间：2001
版次：2001
作者：Hubert Comon,Claude Marche,Ralf Treinen
主题词：Computer Science,Computer System Implementation,Software Engineering,Programming and Operating Systems,Mathematical Logic and Formal Languages,Logics and Meanings of Programs,Programming Techniques
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Constraints in Computational Logics
  • 作者：Jean-Pierre Jouannaud
  • EISBN：9783540486992
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1994
...

Constraints in Computational Logics
  • 作者：Jean-Pierre Jouannaud
  • EISBN：9783540486992
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1994
...

Constraints in Computational Logics
  • 作者：Gerhard Goos,Juris Hartmanis,Jan Leeuwen,Hubert Comon,Claude Marché,Ralf Treinen
  • EISBN：9783540454069
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2001
...

Many-Dimensional Modal Logics: Theory and Applications
  • 作者：D.M. Gabbay,A. Kurucz,F. Wolter,M. Zakharyaschev
  • PISBN：9780444508263
  • 出版时间：Pre 2007
...

Filter Design With Time Domain Mask Constraints: Theory and Applications
  • 作者：Ba-Ngu Vo,Antonio Cantoni,Kok Lay Teo
  • EISBN：9781475734096
  • 出版社：Springer US
  • 出版时间：2001
...

Filter Design With Time Domain Mask Constraints: Theory and Applications
  • 作者：Ba-Ngu Vo,Antonio Cantoni,Kok Lay Teo
  • EISBN：9781475734096
  • 出版社：Springer US
  • 出版时间：2001