版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
Logic-Based Program Synthesis and Transformation
丛 书 名：Lecture Notes in Computer Science
版本说明：1
I S B N：(纸本) 9783540787686
出 版 社：Springer Berlin Heidelberg
出 版 年：1000年
页 数：X, 222页
主 题 词：Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Programming Techniques Mathematical Logic and Formal Languages Artificial Intelligence
