网站首页
校园空间
教师库
在线阅读
知识问答
大学课件
高等教育资讯网
大学课件分类
:
基础课件
工程课件
经管课件
农业课件
医药课件
人文课件
其他课件
课件(包)
文库资源
点击切换搜索课件
文库搜索结果(129)
智能法律合约及其研究进展
文档格式:PDF 文档大小:0.98MB 文档页数:15
从智能合约、智能法律合约等概念入手,依据现行法律条目的要求对智能合约法律化问题进行探讨,指出智能合约法律化需满足文法要求、非赋权原则、审查准则三个基本规则,并以典型智能法律合约语言SPESC、CML为实例剖析了其法律效力,辨析使其与原合同文本具有同等法律效力需满足的条件。进而,结合智能合约系统架构及部署运行过程,在对所部署智能合约进行法律化辨析基础上对区块链智能合约及其链码的法律地位进行了论证。最后,对当前智能法律合约逻辑模型与语言模型的研究进展进行总结,并加以讨论和评价。上述工作表明当前智能法律合约研究是一条解决智能合约法律地位的可行途径,有利于从现行法上把握智能合约在合约逻辑、仲裁流程、形式化验证等方面的未来发展方向
一級文法模擬練習7
文档格式:DOC 文档大小:37KB 文档页数:3
一級文法模擬練習7
《自然科学进展》:科技论文撰写与投稿——PPT讲稿(任胜利)
文档格式:PPT 文档大小:265.5KB 文档页数:92
1 写作前的准备 2 论文的结构安排与撰写 3 文法与表达 4 投稿及与编辑的联系
《日语一级能力测试习题》一級文法模擬練習3
文档格式:DOC 文档大小:45.5KB 文档页数:3
《日语一级能力测试习题》一級文法模擬練習3
《日语一级能力测试习题》一級文法模擬練習5
文档格式:DOC 文档大小:40.5KB 文档页数:3
《日语一级能力测试习题》一級文法模擬練習5
《日语一级能力测试习题》一級文法模擬練習1
文档格式:DOC 文档大小:36KB 文档页数:3
《日语一级能力测试习题》一級文法模擬練習1
清华大学:《编译原理》课程教学资源_第5章 练习答案
文档格式:DOC 文档大小:48.5KB 文档页数:6
第5章 1.文法 S->(T) T->T, (1)对(a,(a,a)的最左推导为: S=>(T)
清华大学:《编译原理》课程教学资源_第八章 语法制导翻译和中间代码生成
文档格式:PPT 文档大小:640KB 文档页数:126
第八章语法制导翻译和中间代码生成 8.1概述 8.2属性文法和语法制导翻译 8.3语义分析 8.4中间代码 8.5一些语句的翻译
清华大学:《编译原理》课程教学资源_第六章 LR分析 6.4 LR(1)和LALR(1)分析规范LR分析
文档格式:PPT 文档大小:249.5KB 文档页数:31
例1文法G0)s→s(1)s→aAd(2)S→bAc (3)s→aec(4)s→bed(5)A→e
清华大学:《编译原理》课程教学资源_第六章 补充算符优先分析
文档格式:PPT 文档大小:97KB 文档页数:15
算符优先文法的定义 算符优先关系表的构造 算符优先分析算法 算符优先分析法的局限性
首页
上页
6
7
8
9
10
11
12
13
下页
末页
热门关键字
《模具设计》
《网络教学与学习》]
组成原理]
香港城市大学
模拟电子技术,电力电子技术
量子学
教学计划
化学化学
光通信原理
福州大学
代谢
电子电路设计
电气
电路原理
电介质物理
电化
电场
地幔]
代词]
大学英语1、2、3、4
大脑
促销
串级控制系统]
程序设计
城市发展学
查理大帝
测试分析技术
藏族文化学
财务会计基础
财务
材料现代分析原理也方法
材料成型加工基础
别墅
VFP程序设计
PLC原理]
E-R
《刑法(总论)》
C语言设计]
CI设计
3D动画
搜索一下,找到相关课件或文库资源
129
个
©2008-现在 cucdc.com
高等教育资讯网 版权所有