2024年8月23日
星期五
|
欢迎来到维普•公共文化服务平台
登录
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
代数语义
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
代飞
作品数:70
被引量:130
H指数:7
供职机构:西南林业大学
研究主题:PETRI网 软件体系结构 并行性 跨组织 软件演化过程
左卫兵
作品数:53
被引量:116
H指数:7
供职机构:华北水利水电大学
研究主题:命题逻辑 逻辑度量空间 真度 逻辑系统 随机真度
李勇坚
作品数:7
被引量:9
H指数:2
供职机构:中国科学院软件研究所
研究主题:VERILOG 语义研究 VERILOG语言 操作语义 形式化验证
高恒珊
作品数:5
被引量:1
H指数:1
供职机构:中国科学技术大学研究生院
研究主题:非正规 模态逻辑 量词 直觉主义 模态
尹兰
作品数:21
被引量:99
H指数:5
供职机构:武汉大学计算机学院
研究主题:句子 图像 虚假 多核学习 自然语言生成
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张