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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

25 篇 会议
8 册 图书
3 篇 期刊文献

馆藏范围

36 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

19 篇 工学
- 19 篇 计算机科学与技术...
- 13 篇 软件工程
- 1 篇 材料科学与工程（可...
- 1 篇 电气工程
- 1 篇 信息与通信工程
- 1 篇 建筑学
10 篇 理学
- 10 篇 数学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
3 篇 管理学
- 3 篇 图书情报与档案管...

主题

6 篇 logic programmin...
5 篇 mathematical log...
5 篇 programming tech...
3 篇 theory of comput...
3 篇 software enginee...
3 篇 logics and meani...
2 篇 software enginee...
2 篇 formal logic
2 篇 mathematical log...
2 篇 semantics
2 篇 programming lang...
2 篇 artificial intel...
2 篇 functional progr...
1 篇 object oriented ...
1 篇 computer circuit...
1 篇 libraries
1 篇 foundations
1 篇 cognition
1 篇 concurrent compu...
1 篇 programming

机构

1 篇 portland state u...
1 篇 department of in...
1 篇 laboratory for t...
1 篇 ladseb-cnr corso...
1 篇 sri internationa...
1 篇 department of co...
1 篇 gec hirst resear...
1 篇 department of co...
1 篇 syracuse univ na...
1 篇 department of ar...
1 篇 university of ca...
1 篇 institute of com...
1 篇 chalmers univers...
1 篇 microsoft resear...
1 篇 univ birmingham ...
1 篇 center for the s...
1 篇 sri internationa...
1 篇 laboratoire d'in...
1 篇 laboratory for f...
1 篇 computer science...

作者

2 篇 longley john
2 篇 goguen joseph a.
1 篇 meseguer josé
1 篇 guarino nicola
1 篇 cédric fournet
1 篇 andrei sabelfeld
1 篇 miglioli p.
1 篇 kumar anil
1 篇 staples john
1 篇 nielson f
1 篇 burn gl
1 篇 sannella donald
1 篇 ornaghi m.
1 篇 ferrand g.
1 篇 karthikeyan bhar...
1 篇 abramsky s
1 篇 antoy s
1 篇 tessier a.
1 篇 jesper bengtson
1 篇 tarlecki andrzej

语言

36 篇 英文

检索条件"任意字段=Workshop on Foundations of Logic and Functional Programming, 1986"

共 36 条记录，以下是11-20 订阅

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

详细简洁

排序：

International workshop on Extensions of logic programming, 1989

International Workshop on Extensions of Logic Programming, 1...

引用

International workshop on Extensions of logic programming, 1989

ISBN: (纸本)9783540535904

The proceedings contain 13 papers. The special focus in this conference is on Extensions of logic programming. The topics include: logic programming with sequent systems;predicates as parameters in logic programming;a definitional approach to logic programming;some applications of gentzen's proof theory in automated deduction;a logic program for transforming sequent proofs to natural deduction proofs;modal provability foundations for negation by failure;extensions to logic programming motivated by the construction of a generic theorem prover;a decision procedure for propositional N-prolog;a logic programming language with lambda-abstraction, function variables, and simple unification;logic programming, functional programming, and inductive definitions;logic programming with strong negation;hypothetical reasoning and definitional reflection in logic programming;non-monotonicity and conditionals in dialogue logic.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Extensions and foundations of object-oriented programming 86

Extensions and foundations of object-oriented programming

引用

1986 SIGPLAN workshop on Object-Oriented programming, OOPWORK 1986

作者： Goguen, Joseph A. Meseguer, José SRI International Menlo ParkCA94025 United States Center for the Study of Language and Information Stanford University 94305 United States

ISBN: (纸本)0897912055

This paper has three major objectives: (i) to provide several new features for object-oriented programming (OOP);(ii) to provide a rigorous logical semantics for OOP;and (in) to unify OOP with functional programming. FOOPS is a clean new programming language that embodies our approach to these objectives. Following a broad definition of "logical programming, " our main techniques are described: (1) subsorts (from order-sorted algebra) for multiple inheritance;(2) a distinction between "adt" (for abstract data type) modules and "object" modules;and (3) "reflection, " in the sense of providing a built-in data type for programs in a functional sublanguage. Among the features of FOOPS that are new to OOP are: (4) user-definable abstract data types;(5) generic modules;(6) strong but flexible typing, with overloaded mixfix operations;(7) integration of coding with specification;and (8) an operational semantics (based on term-rewriting) that should be very efficient on suitable parallel machines. In addition, (9) a logical basis is provided in "reflective" logic. Some examples of FOOPS are given. © 1986 Association for Computing Machinery Inc. All rights reserved.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 1986 SIGPLAN workshop on Object-Oriented programming, OOPWORK 1986

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented ...

引用

1986 SIGPLAN workshop on Object-Oriented programming, OOPWORK 1986

ISBN: (纸本)0897912055

The proceedings contain 19 papers. The topics discussed include: an object-oriented framework for graphical programming;compilation into actors;exceptions in object-oriented languages;a generalized object model;objects in concurrent logic programming languages;concurrent programming in orient84ik: an object-oriented knowledge representation language;enhancement for multiple-inheritance;an overview of actor languages;a comparison of the object-oriented and process paradigms;maintaining consistency in a database with changing types;extensions and foundations of object-oriented programming;an algebraic model of subtypes in object-oriented languages (draft);basic concepts in object oriented programming;a mechanism for specifying the structure of large, layered, object-oriented programs;block structure and object oriented languages;and classification in object-oriented systems.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Semantics: foundations and Applications 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540475958

ISBN: (纸本)9783540565963

Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement,weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - logic programming, - functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.

关键词： programming Languages, Compilers, Interpreters Data Structures and Information Theory logics and Meanings of Programs programming Techniques Software Engineering

来源：评论

学校读者我要写书评

暂无评论

Representing domain structure of many-sorted Prolog knowledge bases

Representing domain structure of many-sorted Prolog knowledg...

引用

workshop on foundations of logic and functional programming, 1986

作者： Guarino, Nicola Ladseb-CNR Corso Stati Uniti 4 PadovaI-35020 Italy

ISBN: (纸本)9783540191292

After a brief introduction on the necessity of an explicit domain description for logic knowledge bases and the advantages of many-sorted logics, we argue that domain representation may consist of a separate logic theory which allows sorts to be assigned and tested dynamically. Then we show how this theory may be used by a meta-interpreter to implement many-sorted unification. Moreover we introduce a way for structuring the domain of discourse in a semantic network, leading to a system where domain knowledge and object language assertions are conceptually distinguished but embedded within an homogeneous formalism, which we call DRL (Declarative Representation Language). We call the former terminologic knowledge and the latter assertional knowledge, showing how some of the ideas of knowledge representation systems like KRYPTON can be successfully introduced within a logic programming approach. © 1988, Springer-Verlag.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

functional logic languages part I

Functional logic languages part I

引用

International workshop on Graph Reduction, 1986

作者： Reddy, Uday S. University of Illinois at Urbana-Champaign United States

ISBN: (纸本)9783540184201

functional logic languages are extensions of functional languages with principles derived from logic programming. While syntactically they look similar to conventional functional languages, their operational semantics is based on narrowing, an evaluation mechanism that uses unification for parameter passing. We present here a small formal language based on lambda calculus with existential quantification and set abstraction, and define its denotational and narrowing semantics. © 1987, Springer-Verlag.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

LFMTP 2014 - Proceedings of the 9th International workshop on logical Frameworks and Meta-Languages: Theory and Practice, Held as Part of: Vienna Summer of logic, FLoC 2014, CSL-LICS 2014, IJCAR 2014

LFMTP 2014 - Proceedings of the 9th International Workshop o...

引用

9th International workshop on logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2014

ISBN: (纸本)9781450328173

The proceedings contain 6 papers. The topics discussed include: session types meet separation logic;Idris: implementing a dependently typed programming language;a framework for the verified transformation of functional programs;some constructions on Ω-groupoids;a generic approach to proofs about substitution;hybrid extensions in a logical framework;proof-theoretic foundations of indexing in logic programming;internal adequacy of bookkeeping in Coq;and automatically deriving schematic theorems for dynamic contexts.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Computer Science logic 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540478904

ISBN: (纸本)9783540569923

This volume presents the proceedings of the Computer Science logic workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties.

关键词： Theory of Computation Software Engineering/programming and Operating Systems Mathematical logic and foundations logics and Meanings of Programs Mathematical logic and Formal Languages Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Higher-Order Algebra, logic, and Term Rewriting 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540485797

ISBN: (纸本)9783540582335

This volume contains the final revised versions of the best papers presented at the First International workshop on Higher-Order Algebra, logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.

关键词： programming Languages, Compilers, Interpreters Theory of Computation Mathematical logic and Formal Languages logics and Meanings of Programs Mathematical logic and foundations

来源：评论

学校读者我要写书评

暂无评论

Graph Reduction 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540479635

ISBN: (纸本)9783540184201

This volume describes recent research in graph reduction and related areas of functional and logic programming, as reported at a workshop in 1986. The papers are based on the presentations, and because the final versions were prepared after the workshop, they reflect some of the discussions as well. Some benefits of graph reduction can be found in these papers: - A mathematically elegant denotational semantics - Lazy evaluation, which avoids recomputation and makes programming with infinite data structures (such as streams) possible - A natural tasking model for fine-to-medium grain parallelism. The major topics covered are computational models for graph reduction, implementation of graph reduction on conventional architectures, specialized graph reduction architectures, resource control issues such as control of reduction order and garbage collection, performance modelling and simulation, treatment of arrays, and the relationship of graph reduction to logic programming.

关键词： Mathematics, general Computer System Implementation Computation by Abstract Devices Mathematical logic and Formal Languages Processor Architectures programming Techniques

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共4页 << < 1 2 3 4 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：