咨询与建议

限定检索结果

文献类型

  • 103 篇 会议
  • 19 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

  • 93 篇 工学
    • 92 篇 计算机科学与技术...
    • 76 篇 软件工程
    • 4 篇 控制科学与工程
    • 3 篇 电气工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 信息与通信工程
    • 1 篇 化学工程与技术
    • 1 篇 食品科学与工程(可...
    • 1 篇 安全科学与工程
  • 61 篇 理学
    • 57 篇 数学
    • 3 篇 系统科学
    • 2 篇 生物学
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 医学
    • 1 篇 基础医学(可授医学...
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 22 篇 logic programmin...
  • 17 篇 answer set progr...
  • 9 篇 semantics
  • 6 篇 logic
  • 6 篇 computer languag...
  • 5 篇 programming
  • 5 篇 inductive logic ...
  • 4 篇 program transfor...
  • 4 篇 java
  • 4 篇 distributed comp...
  • 3 篇 software systems
  • 3 篇 programming prof...
  • 3 篇 electronic mail
  • 3 篇 parallel program...
  • 3 篇 stable models
  • 3 篇 visualization
  • 3 篇 machine learning
  • 3 篇 verification
  • 2 篇 termination and ...
  • 2 篇 tools

机构

  • 4 篇 imdea software i...
  • 2 篇 alan turing inst...
  • 2 篇 roskilde univ ro...
  • 2 篇 univ melbourne d...
  • 2 篇 univ piemonte or...
  • 2 篇 univ nova lisboa...
  • 2 篇 dept informat p-...
  • 2 篇 spanish council ...
  • 2 篇 katholieke univ ...
  • 2 篇 kobe univ nada k...
  • 2 篇 university of ox...
  • 2 篇 abb research lad...
  • 2 篇 sabanci univ fac...
  • 2 篇 univ alberta edm...
  • 2 篇 abb research ban...
  • 2 篇 univ potsdam d-1...
  • 2 篇 res org informat...
  • 2 篇 macquarie univ d...
  • 2 篇 univ so calif de...
  • 2 篇 suny stony brook...

作者

  • 4 篇 stuckey peter j.
  • 3 篇 bartholomew mich...
  • 3 篇 schaub torsten
  • 3 篇 hermenegildo man...
  • 3 篇 zhang yan
  • 3 篇 balduccini marce...
  • 3 篇 erdem esra
  • 3 篇 chu geoffrey
  • 3 篇 aziz rehan abdul
  • 3 篇 morales jose f.
  • 3 篇 lee joohyung
  • 3 篇 inoue katsumi
  • 2 篇 uras tansel
  • 2 篇 giordano laura
  • 2 篇 dumancic sebasti...
  • 2 篇 soh takehide
  • 2 篇 maher michael j.
  • 2 篇 spiotta matteo
  • 2 篇 jorissen albert
  • 2 篇 janssens gerda

语言

  • 122 篇 英文
  • 1 篇 中文
检索条件"任意字段=29th International Conference on Inductive Logic Programming"
123 条 记 录,以下是121-130 订阅
排序:
Gamma programming paradigm and heterogeneous computing
Gamma programming paradigm and heterogeneous computing
收藏 引用
Annual Hawaii international conference on System Sciences (HICSS)
作者: V.K. Murthy E.V. Krishnamurthy School of Computing and Mathematics Deakin University Geelong VIC Australia Research School of Information Sciences and Engineering Australian National University Canberra ACT Australia
the Gamma programming paradigm is based on the multiset data structure. In this model a succession of chemical reactions consume the elements of the multiset or multiset of tuples, and produce new elements according t... 详细信息
来源: 评论
Synchronous distribution of SIGNAL programs
Synchronous distribution of SIGNAL programs
收藏 引用
Annual Hawaii international conference on System Sciences (HICSS)
作者: P. Aubry P. Le Guernic S. Machard IRISA/INRIA Rennes France
SIGNAL, a synchronous and data-flow oriented language, allows the user to design safe real-time applications. Its compiler uses a single formalism called "synchronized data-flow graphs" (SDFGs) all along the... 详细信息
来源: 评论
7th international conference on Automated Deduction,CADE 1984
7th International Conference on Automated Deduction,CADE 198...
收藏 引用
7th international conference on Automated Deduction,CADE 1984
the proceedings contain 29 papers. the special focus in this conference is on Automated Deduction. the topics include: Termination of a Set of Rules Modulo a Set of Equations;associative-Commutative Unification;a Line...
来源: 评论