检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

884 篇 期刊文献
589 篇 会议
104 册 图书
22 篇 学位论文

馆藏范围

1,600 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

1,376 篇 工学
- 1,341 篇 计算机科学与技术...
- 1,202 篇 软件工程
- 28 篇 控制科学与工程
- 20 篇 电气工程
- 17 篇 信息与通信工程
- 15 篇 机械工程
- 7 篇 建筑学
- 5 篇 电子科学与技术（可...
- 4 篇 土木工程
- 4 篇 交通运输工程
- 4 篇 生物医学工程（可授...
- 3 篇 仪器科学与技术
- 3 篇 农业工程
- 3 篇 网络空间安全
929 篇 理学
- 902 篇 数学
- 31 篇 系统科学
- 14 篇 统计学（可授理学、...
- 7 篇 生物学
- 2 篇 物理学
67 篇 管理学
- 41 篇 管理科学与工程(可...
- 26 篇 图书情报与档案管...
- 22 篇 工商管理
16 篇 教育学
- 14 篇 教育学
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
- 4 篇 公共卫生与预防医...
- 3 篇 药学(可授医学、理...
3 篇 哲学
- 2 篇 哲学
3 篇 经济学
- 3 篇 应用经济学
3 篇 农学
- 3 篇 作物学
1 篇 法学
1 篇 文学

主题

274 篇 answer set progr...
251 篇 logic programmin...
71 篇 software enginee...
67 篇 mathematical log...
60 篇 logics and meani...
59 篇 programming lang...
45 篇 semantics
41 篇 knowledge repres...
34 篇 constraint logic...
32 篇 constraint progr...
30 篇 programming tech...
27 篇 constraint theor...
27 篇 prolog
25 篇 answer-set progr...
24 篇 artificial intel...
23 篇 software enginee...
22 篇 inductive logic ...
21 篇 program transfor...
20 篇 theory
20 篇 non-monotonic re...

机构

38 篇 univ potsdam pot...
22 篇 tu wien austria
18 篇 new mexico state...
16 篇 imdea software i...
15 篇 univ genoa dibri...
15 篇 univ kentucky de...
14 篇 univ a coruna la...
14 篇 univ texas austi...
13 篇 univ calabria ar...
12 篇 univ texas dalla...
11 篇 katholieke univ ...
11 篇 katholieke univ ...
11 篇 vienna univ tech...
10 篇 katholieke univ ...
10 篇 imperial coll lo...
10 篇 vienna univ tech...
9 篇 univ politecn ma...
9 篇 univ genoa genoa
9 篇 univ nebraska om...
9 篇 sabanci univ fac...

作者

47 篇 schaub torsten
34 篇 dodaro carmine
30 篇 eiter thomas
30 篇 cabalar pedro
30 篇 ricca francesco
26 篇 lierler yuliya
26 篇 fandinno jorge
26 篇 gupta gopal
23 篇 riguzzi fabrizio
23 篇 maratea marco
22 篇 alviano mario
21 篇 woltran stefan
21 篇 lifschitz vladim...
19 篇 pontelli enrico
18 篇 gebser martin
17 篇 erdem esra
13 篇 leone nicola
13 篇 carro manuel
13 篇 calimeri frances...
13 篇 oetsch johannes

语言

1,558 篇 英文
26 篇 中文
16 篇 其他

检索条件"任意字段=Theory and Practice of Logic Programming"

共 1600 条记录，以下是1551-1560 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

FME 2002:Formal Methods—Getting IT Right 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Lars-Henrik Eriksson Peter Alexander Lindsay

ISBN: (数字)9783540456148

ISBN: (纸本)9783540439288

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (***) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.

关键词： logics and Meanings of Programs Software Engineering/programming and Operating Systems theory of Computation Software Engineering programming Languages, Compilers, Interpreters programming Techniques

来源：评论

学校读者我要写书评

暂无评论

Tools and Algorithms for the Construction and Analysis of Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Christel Baier Cesare Tinelli

ISBN: (数字)9783662466810

ISBN: (纸本)9783662466803

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on theory and practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions. In addition, the book contains one invited contribution. The papers have been organized in topical sections on hybrid systems; program analysis; verification and abstraction; tool demonstrations; stochastic models; SAT and SMT; partial order reduction, bisimulation, and fairness; competition on software verification; parameter synthesis; program synthesis; program and runtime verification; temporal logic and automata and model checking.

关键词： logics and Meanings of Programs Algorithm Analysis and Problem Complexity Software Engineering Computation by Abstract Devices programming Languages, Compilers, Interpreters Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Principles and practice of Constraint programming 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Michela Milano

ISBN: (数字)9783642335587

ISBN: (纸本)9783642335570

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and practice of Constraint programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. The former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) The second track, featured for the first time in 2012, concentrated on multidisciplinary papers: cross-cutting methodology and challenging applications collecting papers that link CP technology with other techniques like machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory, and robotics. In addition, the track focused on challenging application fields with a high social impact such as CP for life sciences, sustainability, energy efficiency, web, social sciences, finance, and verification.

关键词： Mathematical logic and Formal Languages Numeric Computing Algorithm Analysis and Problem Complexity logics and Meanings of Programs Discrete Mathematics in Computer Science programming Languages, Compilers, Interpreters

来源：评论

学校读者我要写书评

暂无评论

Principles and practice of Constraint programming – CP 2010 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： David Cohen

ISBN: (数字)9783642153969

ISBN: (纸本)9783642153952

The 16th annual International Conference on the Principles and practice of Constraint programming (CP 2010) was held in St. Andrews, Scotland, during September 6–10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including:theory,algorithms,applications,environments,languages,modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program Committee members chose papers from their area of interest. The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise. Papers weresolicitedeither as long (15 page), or short (8 page) submissions. Short-paper submissions were refereed to exactly the same high standards as long-paper submissions but naturally were expected to contain a smaller quantity of new material. Thus there is no disti- tion in these proceedings between short and long papers. I used the excellent EasyChair conference management system to support this process of reviewing, and for the collation and organization of these proceedings. Submissions were made either to the applications track or to the research track. Therewere101(23short)researchtracksubmissionsofwhich36(8short) wereaccepted,whichisa36%(35%ofshort)acceptancerate. Applicationstrack submissions received special consideration and the acceptance rate was sign- cantly higher than for the research track.

关键词： Software Engineering/programming and Operating Systems programming Techniques programming Languages, Compilers, Interpreters Algorithm Analysis and Problem Complexity Mathematical logic and Formal Languages logics and Meanings of Programs

来源：评论

学校读者我要写书评

暂无评论

programming Languages and Systems 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Peter Sestoft

ISBN: (数字)9783540330967

ISBN: (纸本)9783540330950

ETAPS 2006 was the ninth instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events). We - ceived over 550 submissions to the ?ve conferences this year, giving an overall acc- tance rate of 23%, with acceptance rates below 30% for each conference. Congratu- tions to all the authors who made it to the ?nal programme! I hope that most of the other authorsstill founda way of participatingin this excitingevent and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system devel- ment process, including speci?cation, design, implementation, analysis and impro- ment. The languages, methodologies and tools which support these activities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.

关键词： Software Engineering/programming and Operating Systems programming Languages, Compilers, Interpreters programming Techniques Software Engineering logics and Meanings of Programs Mathematical logic and Formal Languages

来源：评论

学校读者我要写书评

暂无评论

Human robot collaborative assembly planning: An answer set programming approach

Human robot collaborative assembly planning: An answer set p...

引用

作者： Rizwan, Momina Patoglu, Volkan Erdem, Esra Faculty of Engineering and Natural Sciences Sabanc University Istanbul Turkey

For planning an assembly of a product from a given set of parts, robots necessitate certain cognitive skills: high-level planning is needed to decide the order of actuation actions, while geometric reasoning is needed to check the feasibility of these actions. For collaborative assembly tasks with humans, robots require further cognitive capabilities, such as commonsense reasoning, sensing, and communication skills, not only to cope with the uncertainty caused by incomplete knowledge about the humans' behaviors but also to ensure safer collaborations. We propose a novel method for collaborative assembly planning under uncertainty, that utilizes hybrid conditional planning extended with commonsense reasoning and a rich set of communication actions for collaborative tasks. Our method is based on answer set programming. We show the applicability of our approach in a real-world assembly domain, where a bi-manual Baxter robot collaborates with a human teammate to assemble furniture. ©

关键词：

来源：评论

学校读者我要写书评

暂无评论

Compiler Construction 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rastislav Bodik

ISBN: (数字)9783540319856

ISBN: (纸本)9783540254119

ETAPS 2005 was the eighth instance of the European Joint Conferences on theory and practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations to all the authors who made it to the ?nal program! I hope that most of the other authors still found a way of participating in this exciting event and I hope you will continue submitting. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware s- tems,andtheemphasisonsoftwareisnotintendedtobeexclusive.

关键词： programming Languages, Compilers, Interpreters logics and Meanings of Programs Mathematical logic and Formal Languages Software Engineering Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Computer Aided Verification 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540693390

ISBN: (纸本)9783540646082

This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.

关键词： Software Engineering/programming and Operating Systems theory of Computation logics and Meanings of Programs Software Engineering Mathematical logic and Formal Languages logic Design

来源：评论

学校读者我要写书评

暂无评论

Foundations of Software Science and Computation Structures 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Andrew Pitts

ISBN: (数字)9783662466780

ISBN: (纸本)9783662466773

This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on theory and practice of Software, ETAPS 2015.;The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.

关键词： logics and Meanings of Programs Mathematical logic and Formal Languages programming Languages, Compilers, Interpreters Software Engineering Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

Foundations of Software Science and Computation Structures 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Anca Muscholl

ISBN: (数字)9783642548307

ISBN: (纸本)9783642548291

This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on theory and practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.

关键词： logics and Meanings of Programs Mathematical logic and Formal Languages programming Languages, Compilers, Interpreters Software Engineering Computation by Abstract Devices

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共160页 << < 151 152 153 154 155 156 157 158 159 160 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：