没有合适的资源？快使用搜索试试~
我知道了~
文库首页
行业研究
行业报告
网络技术-网络基础-基于约束的Prolog语义及其在省略程序测试分析及验证中的应用研究.pdf
网络技术-网络基础-基于约束的Prolog语义及其在省略程序测试分析及验证中的应用研究.pdf
1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）
版权申诉
0 下载量
112 浏览量
2022-04-18
22:55:41
上传
评论
收藏
7.57MB
PDF
举报
温馨提示
限时特惠：¥29.90
59.90
网络技术-网络基础
资源推荐
资源评论
网络技术-网络基础-基于WordNet的语义相似性度量及其在查询推荐中的应用研究.pdf
浏览：144
网络技术-网络基础
网络技术-网络基础-基于OFDM的宽带无线基带接收机省略关键算法及其VLSI实现架构研究.pdf
浏览：155
网络技术-网络基础
网络技术-网络基础-基于电子给体电子受体结构的有机省略光电性能及其分子聚集体结构的研究.pdf
浏览：137
网络技术-网络基础
网络技术-网络基础-基于INTERNET的口腔正畸学省略正颌外科学远程会诊系统的应用研究.pdf
浏览：125
网络技术-网络基础
论文研究-调用模式和正确调用模式语义在Prolog程序测试中的应用.pdf
浏览：192
将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧，或当删除条件不满足时利用该条件更新...
Amzi!-Prolog白皮书.pdf
浏览：200
Amzi!-Prolog白皮书.pdf`
Prolog学习教程 - 整理版.pdf
浏览：149
5星 · 资源好评率100%
全网最好的Prolog编程学习材料 由大佬“垂钓听竹轩”翻译 笔者只是进行了梳理 Prolog是逻辑编程语言 用于开发专家系统
Visual Prolog的SQL接口及其应用.pdf
浏览：126
Visual Prolog的SQL接口及其应用.pdf
prolog manual.pdf
浏览：65
How to Run Prolog 2. Sample Programs -- Descriptions 2.1 Map colorings 2.2 Two factorial definitions 2.3 Towers of Hanoi puzzle 2.4 Loading programs, editing programs 2.5 Negation as failure 2.6
Prolog语言教程.pdf
浏览：30
人工智能语言是一类适应于人工智能和知识工程领域的、具有符号处理和逻辑推 理能力的计算机程序设计语言,其中 Prolog 是当代最有影响的人工智能语言之 一。
论文研究-基于Prolog的安全协议在线自动化分析.pdf
浏览：68
基于串空间理论和约束消减方法，提出安全协议可达性分析模型；采用Prolog实现模型自动推理，利用XSB的Java接口实现基于Web的自动分析工具。
Visual Prolog 7 中文 教程.pdf
浏览：136
4星 · 用户满意度95%
Visual Prolog 7 中文 教程.pdf
SWI-prolog 软件 及 Prolog 教程
浏览：184
SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程 SWI-prolog 软件 及 Prolog 教程
Logic.Programming.In.Prolog.Using.The.ISO.Standard
浏览：150
5星 · 资源好评率100%
Logic.Programming.In.Prolog.Using.The.ISO.Standard
PROLOG语言及其在土木工程中的应用
浏览：103
PROLOG语言及其在土木工程中的应用 超星号：10012903
Prolog语言程序设计及其应用
浏览：116
5星 · 资源好评率100%
Prolog语言程序设计及其应用 超星号：10475924
笨办法学Prolog.pdf
浏览：122
4星 · 用户满意度95%
笨办法学Prolog 公4章，网络收集整理的。入门不多的好东西。
SWI-Prolog-7.3.18 手册
浏览：58
SWI-Prolog-7.3.18 手册
PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE - lvan Bratko.pdf
浏览：93
PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE - lvan Bratko.pdf PROLOG PROGRAMMING FOR ARTIFICIAL INTELLIGENCE - lvan Bratko.pdf
Building Expert Systems in Prolog - Dennis Merritt.pdf
浏览：87
Building Expert Systems in Prolog - Dennis Merritt.pdf
prolog.rar_pdf_programming_prolog_software
浏览：154
Prolog.pdf pages 294.
Visual Prolog语言教程.pdf
浏览：175
Visual Prolog语言教程.pdf
Visual Prolog Version 5.x Visual Programming Interface
浏览：198
Visual Prolog Version 5.x Visual Programming Interface
相关实用应用程序（Windows可用）
浏览：5
5星 · 资源好评率100%
相关实用应用程序（Windows可用） 相关实用应用程序（Windows可用） 相关实用应用程序（Windows可用） 相关实用应用程序（Windows可用） 相关实用应用程序（Windows可用）
免费可用的ChatGPT网页版.zip
浏览：100
3星 · 编辑精心推荐
免费可用的ChatGPT网页版.zip
ChatGPT使用总结：150个ChatGPT提示词模板（完整版）
浏览：17
4星 · 用户满意度95%
ChatGPT使用总结：150个ChatGPT提示词模板（完整版）
chromedriver-win64.zip
浏览：169
124版本全平台chrome和chromedriver离线安装包，详细版本号：124.0.6318.0
全国计算机二级WPSoffice精选350道选择题题库（含答案）.pdf
浏览：146
WPS Office高级应用与设计考试是2021年全国计算机等级考试二级新增项目，主要考的内容有以下四点，分别是单项选择题（含公共基础知识）、WPS处理文字文档操作、WPS处理电子表格操作还有WPS处理演示文稿操作。 一、WPS综合应用基础：主要考基础选择题 内容包括WPS一站式融合办公的基本概念、WPS应用界面使用和功能设置、WPS中进行PDF文件的阅读、批注、编辑和转换等操作，还有包括WPS云
农村公交与异构无人机协同配送优化
浏览：8
农村公交与异构无人机协同配送优化
评论
收藏
内容反馈
1.该资源内容由用户上传，如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款（资源遇到问题，请及时私信上传者）
版权申诉
限时特惠：¥29.90
59.90
资源评论
资源反馈
评论星级较低，若资源使用遇到问题可联系上传者，3个工作日内问题未解决可申请退款~
联系上传者
评论
programyg
粉丝: 161
资源:
21万+
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场，查看用户热搜
最新资源
nacos-opera（k8s）具体方法解决
Linux 下常用的命令大全
ISO3166国家区号 转电话区号
VC++深入详解-孙鑫，孙老师的C++ 课程的配套demo 源码
WEB-浏览器指纹browser-fingerprintjs库
ASP.NET+SQL Server 动态网站开发案例-客户管理系统应用程序.rar
ISO3166国家区号 转电话区号
代码做替换.zip
ASP.NET+SQL Server 动态网站开发小案例（超实用）.rar
ch11-ex6-robot performs operations.cpp
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
安全验证
文档复制为VIP权益，开通VIP直接复制
信息提交成功
