咨询与建议

限定检索结果

文献类型

  • 2,454 篇 会议
  • 99 册 图书
  • 86 篇 期刊文献

馆藏范围

  • 2,639 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1,652 篇 工学
    • 1,295 篇 计算机科学与技术...
    • 658 篇 软件工程
    • 368 篇 电气工程
    • 252 篇 控制科学与工程
    • 110 篇 信息与通信工程
    • 106 篇 机械工程
    • 61 篇 电子科学与技术(可...
    • 40 篇 动力工程及工程热...
    • 36 篇 交通运输工程
    • 34 篇 仪器科学与技术
    • 24 篇 建筑学
    • 24 篇 石油与天然气工程
    • 24 篇 生物医学工程(可授...
    • 22 篇 生物工程
    • 22 篇 公安技术
    • 21 篇 安全科学与工程
    • 20 篇 土木工程
  • 405 篇 理学
    • 302 篇 数学
    • 60 篇 系统科学
    • 54 篇 物理学
    • 47 篇 统计学(可授理学、...
    • 28 篇 生物学
    • 25 篇 化学
  • 238 篇 管理学
    • 178 篇 管理科学与工程(可...
    • 75 篇 图书情报与档案管...
    • 60 篇 工商管理
  • 71 篇 教育学
    • 71 篇 教育学
  • 33 篇 经济学
    • 26 篇 应用经济学
  • 28 篇 医学
    • 19 篇 基础医学(可授医学...
  • 26 篇 法学
    • 18 篇 社会学
  • 9 篇 农学
  • 9 篇 艺术学
  • 4 篇 文学
  • 1 篇 哲学

主题

  • 184 篇 logic gates
  • 172 篇 fuzzy logic
  • 150 篇 programming
  • 107 篇 logic programmin...
  • 94 篇 linear programmi...
  • 76 篇 artificial intel...
  • 71 篇 dynamic programm...
  • 59 篇 software enginee...
  • 59 篇 probabilistic lo...
  • 58 篇 optimization
  • 57 篇 computer science
  • 57 篇 semantics
  • 48 篇 software
  • 46 篇 logic design
  • 44 篇 formal logic
  • 44 篇 computer archite...
  • 43 篇 mathematical mod...
  • 42 篇 mathematical log...
  • 42 篇 computer program...
  • 41 篇 logic

机构

  • 7 篇 institute for lo...
  • 5 篇 institute of log...
  • 5 篇 university of am...
  • 5 篇 department of in...
  • 4 篇 natl tech univ a...
  • 4 篇 international bu...
  • 4 篇 tu wien austria
  • 4 篇 graduate school ...
  • 4 篇 university of al...
  • 4 篇 imdea software i...
  • 4 篇 carnegie mellon ...
  • 4 篇 university of te...
  • 4 篇 university of mi...
  • 3 篇 university of la...
  • 3 篇 department of co...
  • 3 篇 free univ bozen ...
  • 3 篇 department of co...
  • 3 篇 department of co...
  • 3 篇 ibm corp armonk ...
  • 3 篇 cesnet prague cz...

作者

  • 7 篇 woltran stefan
  • 6 篇 eiter thomas
  • 5 篇 leone nicola
  • 5 篇 faber wolfgang
  • 5 篇 tompits hans
  • 5 篇 raidl günther r.
  • 4 篇 tian cong
  • 4 篇 tokhi m. o.
  • 4 篇 sakama chiaki
  • 4 篇 jânio monteiro
  • 4 篇 frangopoulos chr...
  • 4 篇 barnes tiffany
  • 4 篇 pedro j. s. card...
  • 4 篇 michael h. lees
  • 4 篇 l.g. votta
  • 4 篇 jack j. dongarra
  • 4 篇 leonard barolli
  • 4 篇 dimopoulos georg...
  • 4 篇 roberto lam
  • 4 篇 valeria v. krzhi...

语言

  • 2,575 篇 英文
  • 39 篇 其他
  • 19 篇 中文
  • 2 篇 德文
  • 2 篇 法文
  • 1 篇 西班牙文
  • 1 篇 俄文
检索条件"任意字段=19th International Conference on Logic Programming"
2639 条 记 录,以下是2621-2630 订阅
排序:
Reachability Problems  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Olivier Bournez Enrico Formenti Igor Potapov
this book constitutes the refereed proceedings of the 17th international conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.;the 13 full papers included... 详细信息
来源: 评论
Rigorous State-Based Methods  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Alexander Raschke Dominique Méry
this book constitutes the proceedings of the 8th international conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. the conference changed... 详细信息
来源: 评论
Computer Aided Verification  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: E. Allen Emerson Aravinda Prasad Sistla
this volume contains the proceedings of the 12th international conference on Computer Aided Veri?cation (CAV 2000) held in Chicago, Illinois, USA during 15-19 July 2000. the CAV conferences are devoted to the advancem... 详细信息
来源: 评论
Computer Aided Systems theory – EUROCAST 2024  1
Computer Aided Systems Theory – EUROCAST 2024
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Alexis Quesada-Arencibia Michael Affenzeller Roberto Moreno-Díaz
this three part LNCS volumes constitutes the refereed proceedings of the 19th international conference on Computer-Aided Systems theory, EUROCAST 2024, held in Las Palmas de Gran Canaria, Spain, during February 25 to ... 详细信息
来源: 评论
Membrane Computing  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: thomas Hinze Grzegorz Rozenberg Arto Salomaa Claudio Zandron
this book constitutes revised selected papers from the 19th international conference on Membrane Computing (CMC19), CMC 2018, which was held in Dresden, Germany, in September 2018. the 15 papers presented in this... 详细信息
来源: 评论
logic for programming, Artificial Intelligence, and Reasoning  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Ken McMillan Aart Middeldorp Andrei Voronkov
this book constitutes the proceedings of the 19th international conference on logic for programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. the 44 regular ... 详细信息
来源: 评论
Rewriting Techniques and Applications  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the refereed proceedings of the 19th international conference on Rewriting Techniques and Applications, RTA 2008, held in Hagenberg, Austria, July 15-17, in June 2008 as part of the RISC Summer 2... 详细信息
来源: 评论
Compiler Construction  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
this book constitutes the refereed proceedings of the 7th international conference on Compiler Construction, CC '98, held as part of the European Joint conference on the theory and Practice of Software, ETAPS '... 详细信息
来源: 评论
Compiler Construction  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Evelyn Duesterwald
the CC program committee is pleased to present this volume with the p- ceedings of the 13th international conference on Compiler Construction (CC 2004). CC continues to provide an exciting forum for researchers, educa... 详细信息
来源: 评论
Cryptology and Network Security  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
作者: Stephan Krenn Haya Shulman Serge Vaudenay
this book constitutes the refereed proceedings of the 19th international conference on Cryptology and Network Security, CANS 2020, held in Vienna, Austria, in December 2020.*
来源: 评论