咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

标题
作者

文献类型

  • 12 篇 期刊文献
  • 6 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 17 篇 工学
    • 14 篇 计算机科学与技术...
    • 3 篇 软件工程
    • 2 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
    • 1 篇 网络空间安全
  • 3 篇 理学
    • 3 篇 数学

主题

  • 18 篇 parallel logic p...
  • 3 篇 and-parallelism
  • 2 篇 logic programmin...
  • 1 篇 environment repr...
  • 1 篇 termination
  • 1 篇 fgcs project
  • 1 篇 theorem proving
  • 1 篇 implementation o...
  • 1 篇 sequence control...
  • 1 篇 dsm architecture...
  • 1 篇 parallel inferen...
  • 1 篇 independent and ...
  • 1 篇 theory of substi...
  • 1 篇 problem solving
  • 1 篇 sld-resolution
  • 1 篇 coalgebra
  • 1 篇 parallel languag...
  • 1 篇 single-cycle exe...
  • 1 篇 flat concurrent ...
  • 1 篇 natural language...

机构

  • 1 篇 univ politecn ma...
  • 1 篇 univ oviedo ctr ...
  • 1 篇 univ. politécnic...
  • 1 篇 tata inst fundam...
  • 1 篇 univ. of califor...
  • 1 篇 ctr math & comp ...
  • 1 篇 univ dundee dept...
  • 1 篇 department of el...
  • 1 篇 univ bristol dep...
  • 1 篇 univ oviedo ctr ...
  • 1 篇 research & devel...
  • 1 篇 suny albany dept...
  • 1 篇 technion israel ...
  • 1 篇 univ bath dept c...
  • 1 篇 univ tokyo bunky...
  • 1 篇 parlog group dep...
  • 1 篇 new mexico state...
  • 1 篇 dcc-fc liacc uni...
  • 1 篇 cnuce-cnr via sa...
  • 1 篇 univ fed rio de ...

作者

  • 2 篇 gupta g
  • 2 篇 costa vs
  • 2 篇 vela cr
  • 1 篇 harsat a
  • 1 篇 rocha r.
  • 1 篇 pontelli e
  • 1 篇 ginosar r
  • 1 篇 barney gc
  • 1 篇 gregory s
  • 1 篇 chowdhury rezaul...
  • 1 篇 chikayama t
  • 1 篇 komendantskaya e...
  • 1 篇 mccusker guy
  • 1 篇 shyamasundar rk
  • 1 篇 arias rv
  • 1 篇 giannotti f
  • 1 篇 bianchini r
  • 1 篇 varela r
  • 1 篇 kapur d
  • 1 篇 rokusawa k

语言

  • 15 篇 英文
  • 3 篇 其他
检索条件"主题词=Parallel logic programming"
共 18 条 记 录，以下是21-30 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共2页 <<  < 1 2 >  >>
回到顶部
执行限定条件