咨询与建议

限定检索结果

文献类型

  • 492 篇 会议
  • 29 篇 期刊文献
  • 24 册 图书

馆藏范围

  • 545 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 382 篇 工学
    • 347 篇 计算机科学与技术...
    • 220 篇 软件工程
    • 60 篇 控制科学与工程
    • 40 篇 电气工程
    • 22 篇 信息与通信工程
    • 11 篇 电子科学与技术(可...
    • 9 篇 机械工程
    • 9 篇 建筑学
    • 8 篇 力学(可授工学、理...
    • 8 篇 土木工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 材料科学与工程(可...
    • 7 篇 交通运输工程
    • 5 篇 仪器科学与技术
    • 5 篇 生物工程
    • 4 篇 化学工程与技术
  • 113 篇 理学
    • 93 篇 数学
    • 13 篇 系统科学
    • 12 篇 统计学(可授理学、...
    • 10 篇 物理学
    • 10 篇 生物学
  • 29 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 12 篇 图书情报与档案管...
    • 8 篇 工商管理
  • 12 篇 医学
    • 10 篇 基础医学(可授医学...
    • 10 篇 临床医学
    • 7 篇 药学(可授医学、理...
  • 4 篇 经济学
    • 4 篇 应用经济学
  • 4 篇 法学
    • 4 篇 社会学
  • 4 篇 教育学
    • 4 篇 教育学
  • 2 篇 农学

主题

  • 88 篇 logic programmin...
  • 24 篇 computer circuit...
  • 20 篇 fuzzy logic
  • 16 篇 semantics
  • 15 篇 programming
  • 15 篇 mathematical log...
  • 15 篇 logics and meani...
  • 14 篇 artificial intel...
  • 13 篇 programming lang...
  • 12 篇 linear programmi...
  • 12 篇 programming tech...
  • 11 篇 formal logic
  • 11 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 logic
  • 9 篇 genetic programm...
  • 9 篇 algebra
  • 9 篇 functional progr...
  • 8 篇 web services
  • 7 篇 programmable log...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 sri int menlo pk...
  • 2 篇 huelva universit...
  • 2 篇 department of co...
  • 2 篇 trinity coll dub...
  • 2 篇 ctr wiskunde & i...
  • 2 篇 computer science...
  • 2 篇 hanoi univ techn...
  • 2 篇 department of me...
  • 2 篇 università di pi...
  • 2 篇 applied mathemat...
  • 2 篇 fujitsu laborato...
  • 2 篇 dept. of informa...
  • 2 篇 industrial depar...
  • 2 篇 department of ma...
  • 2 篇 department of el...
  • 2 篇 univ munich inst...
  • 2 篇 faculty of elect...
  • 2 篇 univ kent canter...
  • 2 篇 vienna univ tech...

作者

  • 3 篇 osorio m
  • 2 篇 riedl l
  • 2 篇 ortiz m
  • 2 篇 yu yong
  • 2 篇 kurz a
  • 2 篇 casadei roberto
  • 2 篇 kahl wolfram
  • 2 篇 schobbens pierre...
  • 2 篇 hennicker r
  • 2 篇 ray oliver
  • 2 篇 le van hung
  • 2 篇 kifer michael
  • 2 篇 bidoit m
  • 2 篇 lin ying
  • 2 篇 zhao na
  • 2 篇 moto-oka t.
  • 2 篇 stehr mark-olive...
  • 2 篇 zhang xuan
  • 2 篇 pianini danilo
  • 2 篇 jaffar joxan

语言

  • 537 篇 英文
  • 7 篇 其他
  • 1 篇 中文
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming"
545 条 记 录,以下是401-410 订阅
排序:
A sequential reduction strategy
收藏 引用
thEORETICAL COMPUTER SCIENCE 1996年 第1期165卷 75-95页
作者: Antoy, S Middeldorp, A UNIV TSUKUBA COLL INFORMAT SCITSUKUBAIBARAKI 305JAPAN
Kennaway proved the remarkable result that every (almost) orthogonal term rewriting system admits a computable sequential normalizing reduction strategy. In this paper we present a computable sequential reduction stra... 详细信息
来源: 评论
Proceedings of the 1994 conference on Modelling Short Rotation Forestry Growth
Proceedings of the 1994 Conference on Modelling Short Rotati...
收藏 引用
Proceedings of the 1994 4th international conference on algebraic and logic programming, ALP
the proceedings contains 18 papers. Topics discussed include simulation models of short rotation forestry, willow wood properties, production and economy, poplar cultivation, seasonal amount, growth and depth distribu... 详细信息
来源: 评论
three-valued completion for abductive logic programs  4th
收藏 引用
4th international conference on algebraic and logic programming
作者: Teusink, F CWI P.O. Box 94079 Amsterdam 1090 GB Netherlands
In this paper, we propose a three-valued completion semantics for abductive logic programs, which solves some problems associated with the Console et al. two-valued completion semantics. the semantics is a generalizat... 详细信息
来源: 评论
Constraint logic programming contribution for fleet management system in freight transport
Constraint logic programming contribution for fleet manageme...
收藏 引用
Proceedings of the 1995 4th international conference on Applications of Advanced Technologies in Transportation Engineering
作者: Gaudin, Etienne Scemama, Gerard INRETS Arcueil France
Fleet operators have begun to explore the use of decision support systems for their decision making processes. Decision support systems could reduce the difficulties of decision making through the assessment of more s... 详细信息
来源: 评论
Illustrating constraint programming systems in logistic planning  4th
收藏 引用
4th international Workshop on Computer Aided Systems theory, CAST 1994
作者: thizy, Jean-Michel Systems Science Programme University of Ottawa OnK1N6N5 Canada
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint logic programs, emphasizing the visual style of formulation. A ... 详细信息
来源: 评论
BOOM - A first step to an object-oriented fourth generation system
收藏 引用
JOURNAL OF SYSTEMS AND SOFTWARE 1996年 第2期33卷 171-177页
作者: Rumerstorfer, H Altmann, J Management Information Systems Software Engineering Department Johannes Kepler University A-4040 Linz Austria
this article describes BOOM, an object-oriented fourth-generation system. BOOM supports the powerful and elegant development of information systems in an object-oriented manner. By using object-oriented techniques, th... 详细信息
来源: 评论
Development of a centralized traffic control system based on logic programming
Development of a centralized traffic control system based on...
收藏 引用
Proceedings of the 1995 4th international conference on Applications of Advanced Technologies in Transportation Engineering
作者: Felici, Giovanni Rinaldi, Gioyanni Truemper, Klaus Centro Studi sui Sistema di Trasporto Roma Italy
A system for controlling the traffic lights in an urban network is described. the system consists of a control unit that governs the traffic lights at a single intersection. the behavior of each control unit is govern... 详细信息
来源: 评论
Meaningless terms in rewriting  5th
Meaningless terms in rewriting
收藏 引用
5th international conference on algebraic and logic programming, ALP 1996
作者: Kennaway, Richard van Oostrom, Vincent de Vries, Fer-Jan School of Information Systems University of East Anglia NorwichNR4 7TJ United Kingdom NTT BRL Information Processing Principles Research Group 3-1 Wakamiya Morinosato Atsugi-shiKanagawa243-01 Japan Hitachi Advanced Research Laboratory HatoyamaSaitama350-03 Japan
We present an axiomatic approach to meaninglessness in finite and trąnsfinite term rewriting and lambda calculus. We justify our axioms in two ways. First, they are shown to imply important properties of meaninglessne... 详细信息
来源: 评论
Co-evolving parallel random number generators  4th
Co-evolving parallel random number generators
收藏 引用
international conference on Evolutionary Computation - 4th international conference on Parallel Problem Solving from Nature, PPSN 1996
作者: Sipper, Moshe Tomassini, Marco Logic Systems Laboratory Swiss Federal Institute of Technology IN-Ecublens LausanneCH-1015 Switzerland Swiss Scientific Computing Center Manno and Logic Systems Laboratory Swiss Federal Institute of Technology IN-Ecublens LausanneCH-1015 Switzerland
Random numbers are needed in a variety of applications, yet finding good random number generators is a difficult task. In the last decade cellular automata (CA) have been used to generate random numbers. In this paper... 详细信息
来源: 评论
Discrete normalization and standardization in deterministic residual structures  5th
Discrete normalization and standardization in deterministic ...
收藏 引用
Proceedings of the 1996 5th international conference on algebraic and logic programming, ALP'96
作者: Khasidashvili, Zurab Glauert, John School of Information Systems UEA Norwich NR4 7TJ United Kingdom
We prove a version of the Standardization theorem and the Discrete Normalization theorem in stable Deterministic Residual Structures, Abstract Reduction Systems with axiomatized notions of residual, which model orthog... 详细信息
来源: 评论