Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of ResearPDF电子书下载
- 电子书积分:16 积分如何计算积分?
- 作 者:
- 出 版 社:Spinger-Verlag
- 出版年份:2004
- ISBN:3540221522
- 页数:539 页
图书介绍:
《Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear》目录
标签:
相关图书
作者其它书籍