Maude---LogicPrograming:莫德计划

preview
共14个文件
11-polinom：1个
3-lifo-fifo：1个
4-rational：1个
需积分: 9 1 下载量 50 浏览量 2021-07-07 18:03:16 上传 评论 收藏 13KB ZIP 举报
资源详情
资源评论
评论 收藏
weixin_42135073
  • 粉丝: 28
  • 资源: 4783
上传资源 快速赚钱
voice
center-task 前往需求广场，查看用户热搜

相关推荐

zip

Maude-Syntax:Maude 的语法高亮

莫德语法 Maude 的语法高亮 将项目中的文件复制并粘贴到您的 Sublime Text 2 包目录中。
pdf

Maude工具使用手册

在linux系统下学习maude指导
zip

PyPI 官网下载 | maude-0.7-cp39-cp39-macosx_10_9_x86_64.whl

资源来自pypi官网，解压后可用。 资源全名：maude-0.7-cp39-cp39-macosx_10_9_x86_64.whl
whl

PyPI 官网下载 | maude-1.0-cp310-cp310-win_amd64.whl

资源来自pypi官网。 资源全名：maude-1.0-cp310-cp310-win_amd64.whl
zip

Python库 | maude-1.0.1-cp310-cp310-macosx_10_9_x86_64.whl

python库，解压后可用。 资源全名：maude-1.0.1-cp310-cp310-macosx_10_9_x86_64.whl
pdf

Maude-manual

Maude-manual
zip

Especificacion-y-Verificacion-de-Vyper-con-Maude:TFM，UCM信息工程硕士，由AdriánRiesco担任主任

冒号的规格和验证 TFM，UCM信息工程硕士，由AdriánRiesco担任主任。
zip

matlab信任模型代码-CNN-Visualization-toward-Malaria-Parasite-Detection:CNN可视化

I，Maude RJ，Jaeger S，Thoma GR和Antani SK。 了解定制的卷积神经网络对稀薄血液涂片图像中的疟原虫检测的学习行为。 J Med Imaging（贝灵汉）。 2018年7月; 5（3）：034501。 doi：10.1117 / 1.JMI.5.3.034501。 ...
gz

maude-primer.pdf.gz_PDF_

an in-depth exploration of the capabilities and mathematical foundation of Maude 2.0
zip

Atom-language-maude,maude系统的原子包。为Adamlazz/语言做出贡献.zip

Atom-language-maude.zip,maude系统的原子包语言maude包,atom是一个用web技术构建的开源文本编辑器。
zip

Maude .NET-开源

Maude 到 Visual C++ .NET 的端口。 Maude 是一种支持等式和重写逻辑的高性能反射语言。 最初在 Linux 的 C++ 中，它包含 Visual Studio 项目和为 .NET 编译 Maude 所需的补丁代码。
zip

Maude Development Tools-开源

Maude开发工具是一组在Eclipse中嵌入maude解释器（http://maude.cs.uiuc.edu）的插件。 它提供了一个允许任何Java程序使用Maude的核心插件，以及一组提供了基于Eclipse的IDE的插件。
rar

Maude的Windows版

Maude的windows版本，可以放心下载。
gz

Emacs Maude mode-开源

编程语言Maude的Emacs模式。
zip

maude_syntax_highlight:SublimeText 23的Maude语法突出显示

SublimeText 2/3的Maude语法突出显示 为更加多彩的莫德。
zip

maudeROS

的莫德执行A的*算法是在模块ASTAR的src/maude/astar.maude 。 将计划器集成到Navigation 2堆栈中的基于Python的ROS动作服务器位于src/maude_planner/planner_action_server.py 。 所述Turtlebot 3模拟器可以与莫德...
default

Qt 5实现串口调试助手 （源工程文件、0积分下载）

基于Qt 5实现串口调试助手，程序仅供参考，修改了之前十六进制接收0xA0--0xFF有误的问题，新增了窗口自适应（ui文件设置栅格），文件详情可看博客链接https://blog.csdn.net/m0_51294753/article/details/121405661。
star 5星 · 资源好评率100%
pdf

【SystemVerilog】路科验证V2学习笔记（全600页）.pdf

SystemVerilog的听课学习笔记，包括讲义截取、知识点记录、注意事项等细节的标注。 目录如下： 第一章 SV环境构建常识 1 1.1 数据类型 1 四、二值逻辑 4 定宽数组 9 foreach 13 动态数组 16 队列 19 关联数组 21 枚举类型 23 字符串 25 1.2 过程块和方法 27 initial和always 30 func
star 5星 · 资源好评率100%
zip

AutoSAR标准协议4.2.2

AutoSAR标准协议规范4.2.2，里面包含了AutoSAR组织所规定的AutoSAR架构的标准规范协议原文档。对AutoSAR的学习有一定的借鉴意义
star 5星 · 资源好评率100%
rar

光伏-储能并网系统仿真.rar

该文件是清华大学储能课的期末大作业。用SIMULINK搭建了一个完整的光伏-储能并网系统。我的博客中介绍了系统实现的具体方法，欢迎查看！
star 5星 · 资源好评率100%
pdf

GD32替换STM32注意事项.pdf

GD32 介绍与 STM32 兼容性汇总。STM32的代码直接在GD32上运行需要小部分的修改。按教程做对应修改就行哈。
star 3星 · 编辑精心推荐
zip

XCP协议的规范文档

XCP协议的原规范文档，主要包含了Part1-5共5个部分，其中第三部分又分为CAN、以太网和Sxl等。对于XCP协议的开发者和学习者有借鉴意义
star 5星 · 资源好评率100%
zip

NPPJSONViewer.zip

NodePad++ JSON格式化插件
star 4星 · 用户满意度95%
zip

CANoe通过CAPL脚本实现自动测试

现在汽车行业用vector的工具进行自动测试，但是该自动测试模板很少，本案例是分享CAPL脚本自动化测试的模板，和自动控制测试步骤的XML模板，使用过程可以通过本人分享的文档来实现工程的建立到自动测试的完成。通过CAPL脚本+XML控制测试步骤，实现自动测试，生成测试报告。
zip

VS2015安装证书，JavaScript_ProjectSystem.msi，JavaScript_LanguageService.msi

vs2015.iso包安装，不然会卡在安装包丢失或损坏
star 3星 · 编辑精心推荐
pdf

蓝牙BLE协议中文版.pdf

蓝牙BLE协议中文版，帮助初学者更快掌握协议内容。协议为SIG官方协议的中文版，所有协议内容均与英文原版协议内容保持一致
zip

BaiduOCR.zip

按键精灵百度文字识别 自定义库 使用说明参考：https://blog.csdn.net/sinat_22215253/article/details/118272746
star 5星 · 资源好评率100%
pdf

AD20官方中文教程.pdf

官方提供的入门教材，其中重点讲解了一个简易电路板的开发过程，从元器件的选择，元器件的布置，到最后的产品输出，比较完整的一个实例，适合初次使用软件的开发人员使用。
rar

Tangent免费.rar

OriginLab也可以安装Tangent 插件 免费下载 请点赞