咨询与建议

限定检索结果

文献类型

  • 25 篇 会议
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 19 篇 工学
    • 19 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
  • 10 篇 理学
    • 10 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 管理学
    • 3 篇 图书情报与档案管...

主题

  • 6 篇 logic programmin...
  • 2 篇 formal logic
  • 2 篇 semantics
  • 2 篇 functional progr...
  • 1 篇 object oriented ...
  • 1 篇 computer circuit...
  • 1 篇 libraries
  • 1 篇 foundations
  • 1 篇 cognition
  • 1 篇 concurrent compu...
  • 1 篇 programming
  • 1 篇 sensitivity
  • 1 篇 agda
  • 1 篇 dependent type
  • 1 篇 infinite data
  • 1 篇 functional logic...
  • 1 篇 exhaustible set
  • 1 篇 educational inst...
  • 1 篇 computer securit...
  • 1 篇 mechanical facto...

机构

  • 1 篇 portland state u...
  • 1 篇 department of in...
  • 1 篇 laboratory for t...
  • 1 篇 ladseb-cnr corso...
  • 1 篇 sri internationa...
  • 1 篇 department of co...
  • 1 篇 gec hirst resear...
  • 1 篇 syracuse univ na...
  • 1 篇 department of ar...
  • 1 篇 university of ca...
  • 1 篇 institute of com...
  • 1 篇 chalmers univers...
  • 1 篇 microsoft resear...
  • 1 篇 univ birmingham ...
  • 1 篇 center for the s...
  • 1 篇 sri internationa...
  • 1 篇 laboratoire d'in...
  • 1 篇 laboratory for f...
  • 1 篇 computer science...
  • 1 篇 laboratory for t...

作者

  • 2 篇 longley john
  • 2 篇 goguen joseph a.
  • 1 篇 meseguer josé
  • 1 篇 guarino nicola
  • 1 篇 cédric fournet
  • 1 篇 andrei sabelfeld
  • 1 篇 miglioli p.
  • 1 篇 kumar anil
  • 1 篇 staples john
  • 1 篇 nielson f
  • 1 篇 burn gl
  • 1 篇 sannella donald
  • 1 篇 ornaghi m.
  • 1 篇 ferrand g.
  • 1 篇 karthikeyan bhar...
  • 1 篇 abramsky s
  • 1 篇 antoy s
  • 1 篇 tessier a.
  • 1 篇 jesper bengtson
  • 1 篇 tarlecki andrzej

语言

  • 28 篇 英文
检索条件"任意字段=Workshop on Foundations of Logic and Functional Programming, 1986"
28 条 记 录,以下是31-40 订阅
排序: