咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

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

主题

  • 21 篇 parallel logic p...
  • 3 篇 and-parallelism
  • 2 篇 logic programmin...
  • 1 篇 memory managemen...
  • 1 篇 environment repr...
  • 1 篇 termination
  • 1 篇 fgcs project
  • 1 篇 theorem proving
  • 1 篇 abstract data ty...
  • 1 篇 program transfor...
  • 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 篇 sequential proce...
  • 1 篇 coalgebra

机构

  • 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 篇 univ bristol dep...
  • 1 篇 univ oviedo ctr ...
  • 1 篇 research & devel...
  • 1 篇 suny albany dept...
  • 1 篇 technion israel ...
  • 1 篇 department of el...
  • 1 篇 univ bath dept c...
  • 1 篇 department of ap...
  • 1 篇 univ tokyo bunky...
  • 1 篇 new mexico state...
  • 1 篇 dcc-fc liacc uni...
  • 1 篇 cornell univ ith...
  • 1 篇 cnuce-cnr via sa...

作者

  • 2 篇 gupta g
  • 2 篇 costa vs
  • 2 篇 vela cr
  • 1 篇 harsat a
  • 1 篇 rocha r.
  • 1 篇 pontelli e
  • 1 篇 chew l. paul
  • 1 篇 ginosar r
  • 1 篇 barney gc
  • 1 篇 gregory s
  • 1 篇 yong xu
  • 1 篇 chowdhury rezaul...
  • 1 篇 chikayama t
  • 1 篇 ramanarayanan ga...
  • 1 篇 komendantskaya e...
  • 1 篇 pingali keshav
  • 1 篇 walter bruce
  • 1 篇 mccusker guy
  • 1 篇 shyamasundar rk
  • 1 篇 arias rv

语言

  • 18 篇 英文
  • 3 篇 其他
检索条件"主题词=PARALLEL logic programming"
21 条 记 录,以下是21-30 订阅
排序:
SEQUENCE CONTROL OF ANALOG-COMPUTERS
收藏 引用
PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON 1972年 第10期119卷 1505-&页
作者: BARNEY, GC MILLER, D Research & Development Department Pilkington Brothers Ltd. St. Helens UK Control Systems Centre University of Manchester Institute of Science & Technology Manchester UK
parallel-logic programming of analogue computers often presents difficulties to all but the most experienced users. The paper describes an inexpensive method of simplifying the control of iterative problem solutions r... 详细信息
来源: 评论