咨询与建议

限定检索结果

文献类型

  • 53 篇 会议
  • 9 篇 期刊文献
  • 4 册 图书

馆藏范围

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

日期分布

学科分类号

  • 45 篇 工学
    • 43 篇 计算机科学与技术...
    • 25 篇 软件工程
    • 4 篇 控制科学与工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 电气工程
    • 2 篇 信息与通信工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 化学工程与技术
    • 1 篇 环境科学与工程(可...
    • 1 篇 生物医学工程(可授...
  • 20 篇 理学
    • 18 篇 数学
    • 4 篇 统计学(可授理学、...
    • 3 篇 生物学
    • 2 篇 物理学
    • 1 篇 化学
    • 1 篇 系统科学
  • 2 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...
  • 1 篇 经济学
    • 1 篇 应用经济学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
    • 1 篇 药学(可授医学、理...

主题

  • 9 篇 logic programmin...
  • 6 篇 computer circuit...
  • 5 篇 semantics
  • 4 篇 formal logic
  • 4 篇 algebra
  • 3 篇 specifications
  • 3 篇 mathematical log...
  • 3 篇 logics and meani...
  • 2 篇 simulation
  • 2 篇 markov decision ...
  • 2 篇 testing preorder
  • 2 篇 symbolic and alg...
  • 2 篇 software enginee...
  • 2 篇 logic
  • 2 篇 compositionality
  • 2 篇 modal logic
  • 2 篇 programming lang...
  • 2 篇 semiotics
  • 1 篇 hybrid system
  • 1 篇 program calculat...

机构

  • 3 篇 cwi p.o. box 940...
  • 2 篇 trinity coll dub...
  • 2 篇 shanghai jiao to...
  • 1 篇 univ pisa dipart...
  • 1 篇 univ koblenz dep...
  • 1 篇 dept. of patholo...
  • 1 篇 informatics inst...
  • 1 篇 univ utrecht dep...
  • 1 篇 institute of mat...
  • 1 篇 univ texas dept ...
  • 1 篇 dipartimento di ...
  • 1 篇 univ penn dept c...
  • 1 篇 mcmaster univ de...
  • 1 篇 universidade abe...
  • 1 篇 department of co...
  • 1 篇 logic and formal...
  • 1 篇 dipartimento di ...
  • 1 篇 computer science...
  • 1 篇 institut für rec...
  • 1 篇 university of pi...

作者

  • 2 篇 kahl wolfram
  • 2 篇 deng yuxin
  • 2 篇 niemela i
  • 2 篇 teusink f
  • 2 篇 hennessy matthew
  • 1 篇 kozen dexter
  • 1 篇 apt krzysztof r.
  • 1 篇 soh takehide
  • 1 篇 aravindan c
  • 1 篇 bruynooghe mauri...
  • 1 篇 parisi-presicce ...
  • 1 篇 vidal g
  • 1 篇 van oostrom vinc...
  • 1 篇 ball sheldon s.
  • 1 篇 jayararaan bhara...
  • 1 篇 ray oliver
  • 1 篇 kennaway richard
  • 1 篇 gui yx
  • 1 篇 bergstra jan a.
  • 1 篇 diaconescu răzva...

语言

  • 63 篇 英文
  • 3 篇 其他
检索条件"任意字段=4th International Conference on Algebraic and Logic Programming, ALP 1994"
66 条 记 录,以下是61-70 订阅
4th international Joint conference on theory and Practice of Software Development, TAPSOFT 1991
收藏 引用
4th international Joint conference on theory and Practice of Software Development, TAPSOFT 1991
the proceedings contain 24 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: Full abstraction for series-parallel pomsets;on causality observed increme...
来源: 评论
4th international Workshop on Graph Grammars and their Application to Computer Science, 1990
收藏 引用
4th international Workshop on Graph Grammars and their Application to Computer Science, 1990
the proceedings contain 50 papers. the special focus in this conference is on Graph Grammars and their Application to Computer Science. the topics include: A note on hyperedge replacement;graph grsmmars based on node ...
来源: 评论
4th international Joint conference on theory and Practice of Software Development, TAPSOFT 1991
收藏 引用
4th international Joint conference on theory and Practice of Software Development, TAPSOFT 1991
the proceedings contain 27 papers. the special focus in this conference is on theory and Practice of Software Development. the topics include: CCS for OO and LP;an extended expansion theorem;concurrent abstract machin...
来源: 评论
algebraic and Numeric Biology  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Katsuhisa Horimoto Masahiko Nakatsui Nikolaj Popov
this book constitutes the refereed proceedings of the 4th international conference on algebraic Biology, ANB 2010, held at the Castle of Hagenberg, Austria in July/August 2010. the conference is a follow up of the AB ... 详细信息
来源: 评论
algebraic Methodology and Software Technology  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this volume constitutes the proceedings of the 4th international conference on algebraic Methodology and Software Technology, held in Montreal, Canada in July 1995.;It includes full papers or extended abstracts of the... 详细信息
来源: 评论
Functional and Constraint logic programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Herbert Kuchen
this book constitutes the refereed conference proceedings of the 20th international Workshop on Functional and Constraint logic programming, WFLP 2011, held in Odense, Denmark, in July 2011 as Part of the 13th Interna... 详细信息
来源: 评论