咨询与建议

限定检索结果

文献类型

  • 25 篇 会议
  • 8 册 图书
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 6 篇 logic programmin...
  • 5 篇 mathematical log...
  • 5 篇 programming tech...
  • 3 篇 theory of comput...
  • 3 篇 software enginee...
  • 3 篇 logics and meani...
  • 2 篇 software enginee...
  • 2 篇 formal logic
  • 2 篇 mathematical log...
  • 2 篇 semantics
  • 2 篇 programming lang...
  • 2 篇 artificial intel...
  • 2 篇 functional progr...
  • 1 篇 object oriented ...
  • 1 篇 computer circuit...
  • 1 篇 libraries
  • 1 篇 foundations
  • 1 篇 cognition
  • 1 篇 concurrent compu...
  • 1 篇 programming

机构

  • 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 篇 department of co...
  • 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...

作者

  • 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

语言

  • 36 篇 英文
检索条件"任意字段=Workshop on Foundations of Logic and Functional Programming, 1986"
36 条 记 录,以下是31-40 订阅
排序:
Graph Reduction  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume describes recent research in graph reduction and related areas of functional and logic programming, as reported at a workshop in 1986. The papers are based on the presentations, and because the final versi... 详细信息
来源: 评论
Computer Science logic  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume presents the proceedings of the Computer Sciencelogic workshop CSL '92, held in Pisa, Italy, inSeptember/October 1992. CSL '92 was the sixth of the seriesand the first one held as Annual Confere... 详细信息
来源: 评论
Extensions of logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume contains papers presented at the secondinternational workshop on extensions of logic programming,which was held at the Swedish Institute of Computer Science,Stockhom, January 27-29, 1991.The 12 papers ... 详细信息
来源: 评论
Higher-Order Algebra, logic, and Term Rewriting  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume contains the final revised versions of the best papers presented at the First International workshop on Higher-Order Algebra, logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. H... 详细信息
来源: 评论
foundations of logic and functional programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume consists of some of the papers that were delivered during the workshop on "foundations of logic and functional programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting ce... 详细信息
来源: 评论
Graph Grammars and Their Application to Computer Science  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume contains papers selected from the contributionsto the 4th International workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on t... 详细信息
来源: 评论