咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 12 篇 programming
  • 10 篇 logic gates
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 6 篇 artificial intel...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...
  • 4 篇 model checking
  • 4 篇 java
  • 4 篇 computer languag...
  • 4 篇 integer programm...
  • 4 篇 hardware

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 317 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
329 条 记 录,以下是321-330 订阅
排序:
CONSTRUCTIVE inductive logic programming
CONSTRUCTIVE INDUCTIVE LOGIC PROGRAMMING
收藏 引用
13th international Joint conference on Artificial Intelligence (IJCAI-93)
作者: LAPOINTE, S LING, C MATWIN, S DEF RES ESTAB VALCARTIER COURCELETTE G0A 1R0PQCANADA
来源: 评论
logic programming
Logic programming
收藏 引用
Proceedings of the 13th international Joint conference on Artificial Intelligence
来源: 评论
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning and logic programming
On the acceptability of arguments and its fundamental role i...
收藏 引用
Proceedings of the 13th international Joint conference on Artificial Intelligence
作者: Dung, Phan Minh
来源: 评论
REPRESENTING CONCURRENT ACTIONS IN EXTENDED logic programming
REPRESENTING CONCURRENT ACTIONS IN EXTENDED LOGIC PROGRAMMIN...
收藏 引用
13th international Joint conference on Artificial Intelligence (IJCAI-93)
作者: BARAL, C GELFOND, M UNIV TEXAS DEPT COMP SCIEL PASOTX 79968
来源: 评论
13th international conference on Application and theory of Petri Nets, 1992
收藏 引用
13th international conference on Application and theory of Petri Nets, 1992
the proceedings contain 26 papers. the special focus in this conference is on Application and theory of Petri Nets. the topics include: Performance issues in parallel programming;combining petri nets and other formal ...
来源: 评论
Experiences with an environment generation system
Experiences with an environment generation system
收藏 引用
international conference on Software Engineering (ICSE)
作者: S.S. Popovich W.M. Schell D.E. Perry Department of Computer Science Columbia University New York NY USA AT and T Bell Laboratories Inc. Murray Hill NJ USA
the authors report on research experience using the Gandalf environment generation system as a prototyping vehicle for the Inscape environment. A Gandalf-based environment consists of four parts: a structure editor ke... 详细信息
来源: 评论
13th international Colloquium on Automata, Languages and programming, ICALP 1986
收藏 引用
13th international Colloquium on Automata, Languages and programming, ICALP 1986
the proceedings contain 48 papers. the special focus in this conference is on Automata, Languages and programming. the topics include: Parallel RAMs with owned global memory and deterministic context-free language rec...
来源: 评论
Development and application of a designer oriented cyclic simulator  76
Development and application of a designer oriented cyclic si...
收藏 引用
13th Design Automation conference, DAC 1976
作者: Parasch, G.J. Price, R.L. International Business Machines Corp. EndicottNY United States International Business Machines Corp. PoughkeepsieNY United States
Because of the increasing complexity of the role of the design engineer, in the design of digital systems, the need has arisen for a behavioral modeling technique which can be accurately controlled by the designer, wi... 详细信息
来源: 评论
international MACHINE TOOL DESIGN AND RESEARCH conference, 13th, PROCEEDINGS, 1972.
Macmillan Press Ltd
收藏 引用
Macmillan Press Ltd 1972年
作者: Husemeyer, C. Wong, M.S. Duncan, J.L. de Malherbe, M.C. Russell, A. Plas, J. Blommaert, J. Watkins, C. Cheng, R.M.H. Larsen-Basse, J. Oxley, P.L.B. Arndt, G. Brown, R.H. Komanduri, R.
Following is a continuation of the list of titles and authors: programming a Point-to-Point NC Machine for Contouring Operations. By C. Husemeyer, M. S. Wong, J. L. Duncan and M. C. de Malherbe. Optosyn Numerical Cont... 详细信息
来源: 评论