2. 您的位置
3. 首页
4. 学位论文
5. 归纳逻辑程序设计系统向约束方向的扩充

归纳逻辑程序设计系统向约束方向的扩充

来源 :北京工业大学 | 被引量 : 1次 | 上传用户：tangwang1986

【作 者】

：

夏姗姗 

【出 处】

：

北京工业大学

【发表日期】

：

2000年01期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

荆门市建筑文化遗产现状研究

学位

民航地空通信无线电干扰分析及测试研究

学位

基于FAPKC算法的电子税务的设计与实现

学位

多视点距离图象对准和集成方法的研究

学位

以重构地域精神为导向的磐安县大皿村文化礼堂空间营造

学位

多功能智能化计算中心管理系统的研究

学位

基于微内核操作系统PAGODA的网络协议软件的设计与实现

学位

可视化VRML编辑环境SVBuilder（Simple VRML Builder）的设计与实现

学位

文化礼堂 乡村文化治理的创新范例

报纸

基于Web的管理与过程数据集成及演示系统的实现

学位