咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >Program Development in Computa... 收藏
Program Development in Computational Logic: A Decade of Rese...

Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development

丛 书 名:Lecture Notes in Computer Science 3049

版本说明:1

作     者:Kung-Kiu Lau Mario Ornaghi (auth.) Maurice Bruynooghe Kung-Kiu Lau (eds.) 

I S B N:(纸本) 3540221522;9783540221524 

出 版 社:Springer-Verlag Berlin Heidelberg 

出 版 年:2004年

页      数:viii, 538 p. :页

主 题 词:Logic programming Congresses. Computer logic Congresses. 

学科分类:08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

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

用户名:未登录
我的评分