咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Relational and Algebraic Metho... 收藏

Relational and Algebraic Methods in Computer Science

丛 书 名:Lecture Notes in Computer Science

版本说明:1

作     者:Wolfram Kahl Michael Winter José Oliveira 

I S B N:(纸本) 9783319247038 

出 版 社:Springer Cham 

出 版 年:1000年

页      数:X, 395页

主 题 词:Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Logics and Meanings of Programs Software Engineering Artificial Intelligence Discrete Mathematics in Computer Science 

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分