意图形式化中的副作用问题

石纯一; 胡山立

文献导航

搜索文章

搜索思路

意图形式化中的副作用问题

作者：

石纯一胡山立

基本信息来源于合作网站，原文需代理用户跳转至来源网站获取

摘要：

内容分析

关键词云

关键词热度

相关文献

推荐文献

根据相关规定，获取原文需跳转至原文服务方进行注册认证身份信息

完成下面三个步骤操作后即可获取文献，阅读后请点击下方页面【继续获取】按钮

钛学术文献服务平台

学术出版新技术应用与公共服务实验室出品

原文合作方

获取文献流程

1.访问原文合作方请等待几秒系统会自动跳转至登录页，首次访问请先注册账号，填写基本信息后，点击【注册】

2.注册后进行实名认证，实名认证成功后点击【返回】

3.检查邮箱地址是否正确，若错误或未填写请填写正确邮箱地址，点击【确认支付】完成获取，文献将在1小时内发送至您的邮箱

*若已注册过原文合作方账号的用户，可跳过上述操作，直接登录后获取原文即可

点击【获取原文】按钮，跳转至合作网站。

首次获取需要在合作网站进行注册。

注册并实名认证，认证后点击【返回】按钮。

确认邮箱信息，点击【确认支付】，订单将在一小时内发送至您的邮箱。

* 若已经注册过合作网站账号，请忽略第二、三步，直接登录即可。

期刊分类
期刊（年）
期刊（期）
期刊推荐

一般工业技术交通运输军事科技冶金工业动力工程化学工业原子能技术大学学报建筑科学无线电电子学与电信技术机械与仪表工业水利工程环境科学与安全科学电工技术石油与天然气工业矿业工程自动化技术与计算机技术航空航天轻工业与手工业金属学与金属工艺

计算机科学2022 计算机科学2021 计算机科学2020 计算机科学2019 计算机科学2018 计算机科学2017 计算机科学2016 计算机科学2015 计算机科学2014 计算机科学2013 计算机科学2012 计算机科学2011 计算机科学2010 计算机科学2009 计算机科学2008 计算机科学2007 计算机科学2006 计算机科学2005 计算机科学2004 计算机科学2003 计算机科学2002 计算机科学2001 计算机科学2000

计算机科学2000年第9期计算机科学2000年第8期计算机科学2000年第7期计算机科学2000年第6期计算机科学2000年第5期计算机科学2000年第4期计算机科学2000年第3期计算机科学2000年第2期计算机科学2000年第12期计算机科学2000年第11期计算机科学2000年第10期计算机科学2000年第1期

机械工程学报中国机械工程仪器仪表学报机械设计与制造光学精密工程机械科学与技术中国医疗设备电测与仪表流体机械润滑与密封医疗卫生装备机械设计医疗装备现代制造工程仪表技术与传感器机械工程师液压与气动制造技术与机床自动化仪表机电工程摩擦学学报机械设计与制造工程机械强度装备制造技术无损检测机械传动中国医学装备机械设计与研究机械工程与自动化化工自动化及仪表机电工程技术项目管理技术压力容器机械管理开发电焊机机械制造与自动化机械制造机械中国测试机械研究与应用苏州大学学报(哲学社会科学版) 长春师范大学学报山东师范大学学报(社会科学版) 黑龙江教育(高教研究与评估) 长春大学学报赤峰学院学报(汉文哲学社会科学版) 广西教育西南农业大学学报(社会科学版) 重庆理工大学学报(社会科学) 学术评论吉林教育吉林教育吉林教育吉林教育江苏教育科学中国人牡丹江师范学院学报(社会科学版) 社会科学论坛(学术研究卷) 上海社会科学院学术季刊新乡学院学报(社会科学版) 集美大学学报(教育科学版) 北京教育学院学报天津教育华中师范大学研究生学报现代教学安徽教育西安社会科学生活教育国际学术动态赤峰学院学报(科学教育版) 重庆城市管理职业学院学报南方论丛今日教育东吴学术淄博师专论丛知识文库酒城教育黑龙江农垦师专学报河套学院论坛齐齐哈尔工程学院学报计算机工程与应用计算机工程计算机应用研究软件学报计算机应用计算机学报系统仿真学报计算机研究与发展计算机工程与设计计算机科学控制与决策电脑知识与技术计算机集成制造系统计算机仿真自动化学报计算机技术与发展计算机应用与软件计算机辅助设计与图形学学报小型微型计算机系统控制理论与应用控制理论与应用遥感学报传感器与微系统传感技术学报制造业自动化微电子学与计算机计算机工程与科学机器人计算机系统应用计算机与现代化测控技术计算机与数字工程工业控制计算机测绘与空间地理信息电机与控制学报中文信息学报福建电脑控制工程遥感技术与应用信息与控制计算机工程与应用计算机工程计算机应用研究软件学报计算机应用计算机学报系统仿真学报计算机研究与发展计算机工程与设计计算机科学控制与决策电脑知识与技术计算机集成制造系统计算机仿真自动化学报计算机技术与发展计算机应用与软件计算机辅助设计与图形学学报小型微型计算机系统控制理论与应用控制理论与应用遥感学报传感器与微系统传感技术学报制造业自动化微电子学与计算机计算机工程与科学机器人计算机系统应用计算机与现代化测控技术计算机与数字工程工业控制计算机测绘与空间地理信息电机与控制学报中文信息学报福建电脑控制工程遥感技术与应用信息与控制

按字母查找期刊：

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
其他

联系合作广告推广: shenyukuan@paperpass.com

篇名	意图形式化中的副作用问题
来源期刊	计算机科学	学科
关键词
年，卷（期）	2000,（7）	所属期刊栏目
研究方向		页码范围	66
页数	3页	分类号
字数	4144字	语种	中文
DOI	10.3969/j.issn.1002-137X.2000.07.019