检索结果-南通市图书馆

declarative semantics of programming in residuated lattice-valued logic

Science China(Technological Sciences) 2000年第5期43卷 481-494页

作者：应明生 State Key Laboratory of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua University Beijing 100084 China

We give two generalizations of Tarski’s fixpoint theorem in the setting of residuated lattices and use them to establish van Emdem-Kowalski’s least fixpoint semantics for residuated lattice-valued logic programs.

关键词： logic programming declarative semantics residuated lattice fixpoint theorem completion of program.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Subject in declarative Sentence in Business Correspondence Translation:Descriptive Translation Studies on Sing Sing Lounge

引用

海外英语 2019年第18期 44-45页

作者：杨嘉欣 East China University of Political Science and Law

Statistics of this Paper derive from a business correspondence translation,Sing Sing Lounge,participated by English ma jors of one higher-educational *** with means of quantitative approach,this Paper,introducing an applicable procedure to analyze translation by students from one Class,is devoted to discover subjects used in declarative sentences of their translations.

关键词： business correspondence translation declarative sentence subject

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Twenty-Year Follow-up Case Study of an Office Worker Who Returned to Work despite Serious Memory Disorder Caused by Herpes Encephalitis

引用

Journal of Behavioral and Brain Science 2012年第4期2卷 505-511页

作者： Mitsuko Nakano Nobuo Miyashita Kazutaka Tanabe Takeshi Yamamoto Department of Neurology Higashi-Matsudo Municipal Hospital Matsudo City Welfare and Medical Center Chiba Japan Department of Neurology Tokyo Metropolitan Matsuzawa Hospital Tokyo Japan Department of Neurosurgery Juntendo University School of Medicine Tokyo Japan Miyashita Neurological Clinic Nagano Japan

This study followed a 52-year-old male patient, who had suffered from severe impairment in recent memory due to se- quelae of herpes encephalitis, for 20 years. He returned to his highly intellectual work and performed well despite his doctor’s prediction. While the patient showed consistently poor results on various neuropsychological memory tests, he demonstrated incredible performance at work. This case exemplifies an extreme case that declarative memory is formed with the support of semantic memory, procedural memory, and his strong interests. Additionally, it offers lessons that results on memory tests do not necessarily correspond to the actual level of competence. The focal sites were found on both sides of the medial temporal lobe, predominantly on the left side. The T2-weighted magnetic resonance images (MRI) obtained 9 years after the onset confirmed widespread damage to the left brain including parahippocampal gyrus, hippocampus, spindle gyrus, and amygdaloid complex, with microlesions extending from the right parahippocampal gyrus to its antero-interior rim. However, the damage to hippocampus was presumed to be minor.

关键词： declarative Memory Semantic Memory Procedural Memory Hippocampal Damage Recent Memory Herpes Encephalitis

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

松紧象似原则与动宾饰名复合词

引用

语言文字学 2021年第4期

作者：应学凤

松紧象似原则制约着动宾饰名复合词的生成。不同类型的动宾饰名复合词松紧不同，它们是短语紧缩为短语词、句法词、词法词过程中的不同阶段。在短语到复合词的紧缩过程中，结构松紧和节律松紧的单用或叠用形成了各种类型的动宾饰名复合... 详细信息

松紧象似原则制约着动宾饰名复合词的生成。不同类型的动宾饰名复合词松紧不同，它们是短语紧缩为短语词、句法词、词法词过程中的不同阶段。在短语到复合词的紧缩过程中，结构松紧和节律松紧的单用或叠用形成了各种类型的动宾饰名复合词：。句法词“”是从短语到词的过渡形式，一般会在结构松紧作用下紧缩为“”词法词形式，或在节律松紧作用下紧缩为“”词法词形式。“”也会进一步紧缩为“”。特殊的语用需求、表义作用会使有的动宾饰名复合词采用相对松的形式，以“”式常见，这是松紧象似原则的体现，该松松，该紧紧。

关键词：松紧象似原则动宾饰名复合词结构松紧节律松紧陈述性 elastic iconicity VON OVN compounds structural elasticity syllabic elasticity declarative

来源：人大复印报刊资料人大复印报刊资料评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：