咨询与建议

限定检索结果

文献类型

  • 298 篇 会议
  • 27 篇 期刊文献
  • 19 册 图书

馆藏范围

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

日期分布

学科分类号

  • 245 篇 工学
    • 229 篇 计算机科学与技术...
    • 117 篇 软件工程
    • 19 篇 电气工程
    • 17 篇 控制科学与工程
    • 14 篇 信息与通信工程
    • 6 篇 机械工程
    • 5 篇 电子科学与技术(可...
    • 5 篇 生物工程
    • 4 篇 仪器科学与技术
    • 3 篇 材料科学与工程(可...
    • 3 篇 化学工程与技术
    • 3 篇 生物医学工程(可授...
    • 2 篇 建筑学
    • 2 篇 农业工程
    • 1 篇 光学工程
  • 53 篇 理学
    • 39 篇 数学
    • 8 篇 生物学
    • 4 篇 系统科学
    • 4 篇 统计学(可授理学、...
    • 3 篇 化学
    • 2 篇 物理学
  • 23 篇 管理学
    • 14 篇 管理科学与工程(可...
    • 9 篇 图书情报与档案管...
    • 5 篇 工商管理
  • 6 篇 经济学
    • 3 篇 理论经济学
    • 3 篇 应用经济学
  • 3 篇 教育学
    • 2 篇 教育学
    • 1 篇 心理学(可授教育学...
  • 3 篇 农学
    • 2 篇 作物学
  • 2 篇 法学
    • 2 篇 社会学
  • 1 篇 医学

主题

  • 70 篇 logic programmin...
  • 18 篇 inductive logic ...
  • 15 篇 artificial intel...
  • 12 篇 programming
  • 12 篇 mathematical log...
  • 11 篇 programming tech...
  • 11 篇 logics and meani...
  • 10 篇 software enginee...
  • 10 篇 logic gates
  • 10 篇 programming lang...
  • 7 篇 computer science
  • 7 篇 semantics
  • 6 篇 computer circuit...
  • 6 篇 inductive logic ...
  • 6 篇 probabilistic lo...
  • 5 篇 optimization
  • 5 篇 logic
  • 5 篇 machine learning
  • 4 篇 formal logic
  • 4 篇 computer archite...

机构

  • 5 篇 inria rennes ren...
  • 5 篇 university of po...
  • 3 篇 microsoft res re...
  • 3 篇 univ paris 13 li...
  • 3 篇 carnegie mellon ...
  • 3 篇 aalto university...
  • 3 篇 univ penn philad...
  • 2 篇 univ wales dept ...
  • 2 篇 stanford univ ct...
  • 2 篇 politecn torino ...
  • 2 篇 indian inst tech...
  • 2 篇 univ freiburg in...
  • 2 篇 univ wisconsin d...
  • 2 篇 czech tech univ ...
  • 2 篇 univ london impe...
  • 2 篇 department of in...
  • 2 篇 univ paris 13 li...
  • 2 篇 harvard univ cam...
  • 2 篇 columbia univ ct...
  • 2 篇 ibm unternehmens...

作者

  • 8 篇 gebser martin
  • 6 篇 srinivasan ashwi...
  • 6 篇 alphonse erick
  • 5 篇 schaub torsten
  • 5 篇 ricca francesco
  • 4 篇 osmani aomar
  • 4 篇 page david
  • 4 篇 camacho rui
  • 3 篇 yamamoto akihiro
  • 3 篇 king ross
  • 3 篇 rouveirol celine
  • 3 篇 moreno gines
  • 3 篇 leger hippolyte
  • 3 篇 janhunen tomi
  • 3 篇 maratea marco
  • 3 篇 bouthinon domini...
  • 3 篇 lebbah mustapha
  • 2 篇 muggleton stephe...
  • 2 篇 fronhöfer b
  • 2 篇 khatibsyarbini

语言

  • 332 篇 英文
  • 7 篇 其他
  • 5 篇 中文
检索条件"任意字段=13th International Conference on Inductive Logic Programming"
344 条 记 录,以下是331-340 订阅
排序:
Verification, Model Checking, and Abstract Interpretation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Viktor Kuncak Andrey Rybalchenko
this book constitutes the refereed proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located ... 详细信息
来源: 评论
High Performance Computing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Rio Yokota Michèle Weiland John Shalf Sadaf Alam
this book constitutes the refereed post-conference proceedings of 13 workshops held at the 33rd international ISC High Performance 2018 conference, in Frankfurt, Germany, in June 2018: HPC I/O in the Data Center, HPC-... 详细信息
来源: 评论
Formal Techniques for Distributed Systems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Roberto Bruni Juergen Dingel
this book constitutes the refereed proceedings of the 13th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for ... 详细信息
来源: 评论
Formal Methods and Software Engineering  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Shengchao Qin Zongyan Qiu
this book constitutes the refereed proceedings of the 13th international conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. the 40 revised full papers together with 3 invited talks... 详细信息
来源: 评论
logic Based Program Synthesis and Transformation  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Maurice Bruynooghe
this volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on logic-Based Program Synthesis and Transformation. the LOPSTR series is devoted to research in logic-based program development.... 详细信息
来源: 评论
Parallel Processing and Applied Mathematics  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Roman Wyrzykowski Konrad Karczewski Ewa Deelman Jack Dongarra
the two-volume set LNCS 12043 and 12044 constitutes revised selected papers from the 13th international conference on Parallel Processing and Applied Mathematics, PPAM 2019, held in Bialystok, Poland, in September 201... 详细信息
来源: 评论
Implementation and Applications of Automata  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
the 13th international conference on Implementation and Application of - tomata (CIAA 2008) was held at San Francisco State University, San Francisco, July 21–24, 2008. this volume of Lecture Notes in Computer Scienc... 详细信息
来源: 评论
Hardware and Software: Verification and Testing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ofer Strichman Rachel Tzoref-Brill
this book constitutes the refereed proceedings of the 13th international Haifa Verification conference, HVC 2017, held in Haifa, Israel in November 2017.;the 13 revised full papers presented together with 4 ... 详细信息
来源: 评论
theorem Proving in Higher Order logics  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Mark Aagaard John Harrison
this volume is the proceedings of the 13th international conference on theo­ rem Proving in Higher Order logics (TPHOLs 2000) held 14-18 August 2000 in Portland, Oregon, USA. Each of the 55 papers submitted in th... 详细信息
来源: 评论
Principles and Practice of Constraint programming – CP 2007  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
the 13th international conference on Principles and Practice of Constraint programming (CP 2007) was held in Providence, RI, USA, September 23–27, 2007, in conjunction with the international conference on Automated P... 详细信息
来源: 评论