切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
On the internal structures of inductive types
On the internal structures of inductive types
来源 :黑龙江科技学院学报 | 被引量 : 0次 | 上传用户:bhf0520
【摘 要】
:
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
【作 者】
:
FU Yuxi
【机 构】
:
Department of Computer Science, Shanghai Jiaotong University, Shanghai 200030, China
【出 处】
:
黑龙江科技学院学报
【发表日期】
:
2000年5期
【关键词】
:
type theory
inductive type
construction
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7<
其他文献
公民良心
在一条蜿蜒崎岖的盘山公路上,一辆长途车正顺路而上,车上载满了乘客.开车的是一位年轻秀美的女司机,她身着红色风衣,显得更加楚楚动人.
期刊
公民
盘山公路
司机
上载
红色
风衣
乘客
长途
批评对“事”也要对“人”/消除“官本位”,政府应带头/消除“三种声音”
期刊
官本位
政府
Nd3+:d3Ga5O12晶体的室温吸收光谱和荧光光谱
用提拉法生长了掺钕的钆镓石榴石(Nd3+:GG)激光晶体.研究了室温下的吸收光谱和荧光光谱性质,分析了Nd3+:GG晶体4F3/2→4I11/2能级跃迁与1.06μm附近的荧光谱线之间的关系.吸
期刊
光谱性质
提拉法
高功率固态激光器
激光晶体
Nd3+∶GGG
全方位采访全景式展现全媒体报道——人民日报社纪念抗战胜利70周年报道综述
按照中央统一部署,人民日报社纪念抗战胜利70周年宣传周密计划、提前策划、精心谋划,全方位采访、全景式展现、全媒体报道,国内国际配合发声,网上网下融合报道,社内社外整合
期刊
方位
全景式
全媒体
人民
报社
纪念抗战胜利
年报
舆论环境
整合资源
朝日新闻
特色专栏
纽约时报
民族记忆
主导权
制高点
宣传周
路透社
中国
英国
位
多级生物接触氧化技术处理农村生活污水
针对我国农村生活污水规模小、面广、分散、水质水量变化大等特点,创新性研发出SMART-PFBP多级生物接触氧化工艺,该工艺是在传统生物接触氧化法的基础上将反应单元设计成多级
期刊
农村生活污水
分散
多级生物接触氧化
优势菌
Status and distribution changes of the endangered Green Peafowl (Pavo muticus) in China over the pas
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
Green Peafowl
Population decline
Range concentration
Endangered species
Southwes
假如今天是我生命中的最后一天
假如今天是我生命中的最后一天。 我要如何利用这最后、最宝贵的一天呢?首先,我要把一天的时间珍藏好,不让一分一秒的时间滴漏。我不为昨日的不幸叹息,过去的已够不幸,不要再赔上今日的运道。 时光会倒流吗?太阳会西升东落吗?我可以纠正昨天的错误吗?我能抚平昨日的创伤吗?我能比昨天年轻吗?一句出口的恶言,一记挥出的拳头,一切造成的伤痛,能收回吗? 不能!过去的永远过去了,我不再去想它。 假如今天是我
期刊
时间
生命
奖赏
Phytoplankton Community Dynamics in West Lake After Drawing Water from the Qiantang River
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
期刊
phytoplankton
community dynamics
dominant species
biomass
West Lake
浅谈初中英语“学困生”现象的形成
【摘 要】学困生就是学习成绩暂时落后的学生。对于学困生只要积极补救,是可以弥补他们的知识断层的,而且在一定程度上也是可以将他们转化为中等生或优等生的。 【关键词】学困生;学生教育 一、“学困生”的定义 英语学困生是指那些“智力发展水平正常,但由于生理、心理、行为、环境和教育等原因,致使他们出现知识断层,在正常教育环境中学习效果差,未能达到学校教育规定的基本要求的学生”。 二、“学困生”现
期刊
学困生
学生教育
关于电力系统自动化中调控一体化的应用探讨
我国经济在迅速发展,各行各业都有不小的进步,电力企业也不例外.电网的规模越来越大,供电能力越来越强.于是,出现了传统电网运营管理模式与现在高速发展局面不匹配的现象.在
期刊
电力系统自动化
调控一体化
应用
探讨
与本文相关的学术论文