咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是391-400 订阅
排序:
A generic formulation of neural nets as a model of parallel and self-programming computation
收藏 引用
4th international Work-conference on Artificial Neural Networks (IWANN 97)
作者: Mira, J Herrero, JC Delgado, AE Univ Nacl Educ Distancia Dpto Inteligencia Artificial Madrid Spain
In the same way the more conventional fields of computer science need some theory, including the mathematical foundations of the calculus and the establishment of formal models, neural computation also needs its own. ... 详细信息
来源: 评论
4th international conference on Hybrid Systems, 1997
4th International Conference on Hybrid Systems, 1997
收藏 引用
4th international conference on Hybrid Systems, 1996
the proceedings contain 19 papers. the special focus in this conference is on Hybrid Systems. the topics include: Bumpless switching in hybrid systems;a toolbox for proving and maintaining hybrid specifications;simula...
来源: 评论
A methodology for object-oriented constraint programming
A methodology for object-oriented constraint programming
收藏 引用
Asia-Pacific conference on Software Engineering
作者: Hon Wai Chun Department of Electronic Engineering City University of Hong Kong Kowloon Hong Kong China
Object-oriented constraint programming (OOCP) combines two orthogonal but complementary programming paradigms into one-object-oriented programming (OOP) and logic constraint programming (LCP). Most practitioners of OO... 详细信息
来源: 评论
A visual programming environment for Z specifications
A visual programming environment for Z specifications
收藏 引用
Asia-Pacific conference on Software Engineering
作者: S.W.C. Lam K.C.C. Chan H.K.N. Leung L.M.L. Chung Department of Computing Hong Kong Polytechnic University Hung Hom Kowloon Hong Kong China
the existing Z supporting tools focus on providing editing and syntax checking functionalities (Siddiqi et al., 1993). We develop VZ (Visual Z) visual programming environment for constructing Z specifications. the mai... 详细信息
来源: 评论
4th international conference on algebraic and logic programming, ALP 1994
收藏 引用
4th international conference on algebraic and logic programming, ALP 1994
the proceedings contain 20 papers. the special focus in this conference is on algebraic and logic programming. the topics include: Concurrent constraint programming;specifications using multiple-conclusion logic progr...
来源: 评论
Forward and backward chaining in constraint programming (INVITED TALK)
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1997年 1265卷 1-1页
作者: Jaffar, Joxan Liu, Bing Yap, Roland H. C. Dept. of Information Systems and Computer Science National University of Singapore 10 Kent Ridge Crescent 119260 Singapore
来源: 评论
A design framework for system re-engineering
A design framework for system re-engineering
收藏 引用
Asia-Pacific conference on Software Engineering
作者: X. Liu Z. Chen H. Yang H. Zedan W.C. Chu Software Technology Research Laboratory De Montfort University UK Department of Information Engineering Feng Chia University FCU Taiwan
Discusses the current situation of formal methods and their use in the re-engineering of computing systems, especially real-time systems. Based on the analysis results, a solution which uses a consistent 4-sector Wide... 详细信息
来源: 评论
three-valued completion for abductive logic programs
收藏 引用
thEORETICAL COMPUTER SCIENCE 1996年 第1期165卷 171-200页
作者: Teusink, F CWI POB 94079 NL-1090 GB AMSTERDAM 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... 详细信息
来源: 评论
Forum: A multiple-conclusion specification logic
收藏 引用
thEORETICAL COMPUTER SCIENCE 1996年 第1期165卷 201-232页
作者: Miller, D UNIV PENN DEPT COMP SCI PHILADELPHIA PA 19104 USA
the theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, lambda Prolog and its linear logic refinement, Lolli [15], provide... 详细信息
来源: 评论
A compositional semantic basis for the analysis of equational Horn programs
收藏 引用
thEORETICAL COMPUTER SCIENCE 1996年 第1期165卷 133-169页
作者: Alpuente, M Falaschi, M Vidal, G UNIV UDINE DIPARTIMENTO MATEMAT & INFORMAT I-33100 UDINE ITALY
We introduce a compositional characterization of the operational semantics of equational Horn programs. then we show that this semantics and the standard operational semantics based on (basic) narrowing coincide. We d... 详细信息
来源: 评论