咨询与建议

限定检索结果

文献类型

  • 882 篇 期刊文献
  • 588 篇 会议
  • 104 册 图书
  • 22 篇 学位论文

馆藏范围

  • 1,597 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,374 篇 工学
    • 1,339 篇 计算机科学与技术...
    • 1,201 篇 软件工程
    • 28 篇 控制科学与工程
    • 20 篇 电气工程
    • 17 篇 信息与通信工程
    • 15 篇 机械工程
    • 7 篇 建筑学
    • 5 篇 电子科学与技术(可...
    • 4 篇 土木工程
    • 4 篇 交通运输工程
    • 4 篇 生物医学工程(可授...
    • 3 篇 仪器科学与技术
    • 3 篇 农业工程
    • 3 篇 网络空间安全
  • 927 篇 理学
    • 900 篇 数学
    • 31 篇 系统科学
    • 14 篇 统计学(可授理学、...
    • 7 篇 生物学
    • 2 篇 物理学
  • 67 篇 管理学
    • 41 篇 管理科学与工程(可...
    • 26 篇 图书情报与档案管...
    • 22 篇 工商管理
  • 16 篇 教育学
    • 14 篇 教育学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
    • 4 篇 公共卫生与预防医...
    • 3 篇 药学(可授医学、理...
  • 3 篇 哲学
    • 2 篇 哲学
  • 3 篇 经济学
    • 3 篇 应用经济学
  • 3 篇 农学
    • 3 篇 作物学
  • 1 篇 法学
  • 1 篇 文学

主题

  • 274 篇 answer set progr...
  • 248 篇 logic programmin...
  • 70 篇 software enginee...
  • 67 篇 mathematical log...
  • 60 篇 logics and meani...
  • 59 篇 programming lang...
  • 45 篇 semantics
  • 41 篇 knowledge repres...
  • 34 篇 constraint logic...
  • 32 篇 constraint progr...
  • 30 篇 programming tech...
  • 27 篇 constraint theor...
  • 27 篇 prolog
  • 25 篇 answer-set progr...
  • 24 篇 artificial intel...
  • 23 篇 software enginee...
  • 22 篇 inductive logic ...
  • 21 篇 program transfor...
  • 20 篇 theory
  • 20 篇 non-monotonic re...

机构

  • 38 篇 univ potsdam pot...
  • 22 篇 tu wien austria
  • 18 篇 new mexico state...
  • 16 篇 imdea software i...
  • 15 篇 univ genoa dibri...
  • 15 篇 univ kentucky de...
  • 14 篇 univ a coruna la...
  • 14 篇 univ texas austi...
  • 13 篇 univ calabria ar...
  • 12 篇 univ texas dalla...
  • 11 篇 katholieke univ ...
  • 11 篇 katholieke univ ...
  • 11 篇 vienna univ tech...
  • 10 篇 katholieke univ ...
  • 10 篇 imperial coll lo...
  • 10 篇 vienna univ tech...
  • 9 篇 univ politecn ma...
  • 9 篇 univ genoa genoa
  • 9 篇 univ nebraska om...
  • 9 篇 sabanci univ fac...

作者

  • 47 篇 schaub torsten
  • 34 篇 dodaro carmine
  • 30 篇 eiter thomas
  • 30 篇 cabalar pedro
  • 30 篇 ricca francesco
  • 26 篇 lierler yuliya
  • 26 篇 fandinno jorge
  • 26 篇 gupta gopal
  • 23 篇 riguzzi fabrizio
  • 23 篇 maratea marco
  • 22 篇 alviano mario
  • 21 篇 woltran stefan
  • 21 篇 lifschitz vladim...
  • 19 篇 pontelli enrico
  • 18 篇 gebser martin
  • 17 篇 erdem esra
  • 13 篇 leone nicola
  • 13 篇 carro manuel
  • 13 篇 calimeri frances...
  • 13 篇 oetsch johannes

语言

  • 1,557 篇 英文
  • 26 篇 中文
  • 14 篇 其他
检索条件"任意字段=Theory and Practice of Logic Programming"
1597 条 记 录,以下是1591-1600 订阅
排序:
Foundations of Software Technology and Theoretical Computer Science  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Ind... 详细信息
来源: 评论
Reliable Implementation of Real Number Algorithms: theory and practice  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
A large amount of the capacity of today’s computers is used for computations that can be described as computations involving real numbers. In this book, the focus is on a problem arising particularly in real number c... 详细信息
来源: 评论
TAPSOFT '89  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
TAPSOFT '89 is the Third International Joint Conference on theory and practice of Software Development held in Barcelona, Spain, March 13-17, 1989. The conference consisted of three parts: - Advanced Seminar on Fo... 详细信息
来源: 评论
theory and practice of Parallel programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume presents the proceedings of the First International Workshop on theory and practice of Parallel programming, TPPP '94, held in Sendai, Japan in November 1994.;Besides 9 full paper versions of the invit... 详细信息
来源: 评论
logic programming in Action  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
logic programming enjoys a privileged position. It is firmlyrooted in mathematical logic, yet it is also immenselypractical, as a growing number of users in universities,research institutes, and industry are real... 详细信息
来源: 评论
Automata Implementation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This book constitutes the strictly refereed post-workshop proceedings of the First International Workshop on Implementing Automata, WIA'96, held in London, Ontario, Canada, in August 1996.;The volume presents 13 r... 详细信息
来源: 评论
Principles and practice of Constraint programming  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Barry O’Sullivan
This book constitutes the refereed conference proceedings of the 20th International Conference on Principles and practice of Constraint programming, CP 2014, held in Lyon, France, in September 2014.;The 65 revised pap... 详细信息
来源: 评论