咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 3,808 篇 会议
  • 36 篇 期刊文献
  • 4 册 图书
  • 1 篇 科技报告

馆藏范围

  • 3,847 篇 电子文献
  • 2 种 纸本馆藏

日期分布

学科分类号

  • 2,078 篇 工学
    • 1,910 篇 计算机科学与技术...
    • 797 篇 软件工程
    • 348 篇 电气工程
    • 206 篇 电子科学与技术（可...
    • 125 篇 信息与通信工程
    • 77 篇 控制科学与工程
    • 55 篇 材料科学与工程（可...
    • 54 篇 机械工程
    • 43 篇 动力工程及工程热...
    • 16 篇 生物工程
    • 15 篇 建筑学
    • 15 篇 化学工程与技术
    • 14 篇 仪器科学与技术
    • 13 篇 力学（可授工学、理...
    • 13 篇 生物医学工程（可授...
    • 10 篇 光学工程
    • 10 篇 土木工程
    • 10 篇 安全科学与工程
  • 915 篇 理学
    • 843 篇 数学
    • 68 篇 统计学（可授理学、...
    • 52 篇 物理学
    • 27 篇 系统科学
    • 21 篇 生物学
    • 14 篇 化学
  • 132 篇 管理学
    • 91 篇 管理科学与工程(可...
    • 62 篇 工商管理
    • 42 篇 图书情报与档案管...
  • 17 篇 经济学
    • 17 篇 应用经济学
  • 17 篇 教育学
    • 16 篇 教育学
  • 10 篇 法学
    • 10 篇 社会学
  • 7 篇 农学
  • 3 篇 医学
  • 2 篇 哲学
  • 2 篇 军事学

主题

  • 1,060 篇 computer science
  • 542 篇 logic
  • 240 篇 calculus
  • 232 篇 polynomials
  • 217 篇 automata
  • 207 篇 computer archite...
  • 198 篇 computational mo...
  • 176 篇 complexity theor...
  • 172 篇 logic gates
  • 169 篇 formal logic
  • 169 篇 logic programmin...
  • 162 篇 hardware
  • 161 篇 computer languag...
  • 152 篇 algebra
  • 149 篇 equations
  • 137 篇 probabilistic lo...
  • 136 篇 computer metathe...
  • 132 篇 semantics
  • 129 篇 mathematics
  • 111 篇 computer program...

机构

  • 17 篇 department of co...
  • 15 篇 univ oxford oxfo...
  • 15 篇 department of co...
  • 14 篇 computer laborat...
  • 14 篇 school of comput...
  • 13 篇 department of el...
  • 12 篇 cnrs
  • 12 篇 carnegie mellon ...
  • 12 篇 department of co...
  • 11 篇 rhein westfal th...
  • 10 篇 inria
  • 10 篇 univ bologna bol...
  • 10 篇 ibm thomas j. wa...
  • 10 篇 stanford univ ca...
  • 10 篇 univ oxford dept...
  • 10 篇 univ warsaw wars...
  • 9 篇 tsinghua univers...
  • 9 篇 at and t bell la...
  • 9 篇 computer science...
  • 9 篇 department of co...

作者

  • 15 篇 m.y. vardi
  • 14 篇 vardi moshe y.
  • 12 篇 halpern joseph y...
  • 11 篇 kolaitis phokion...
  • 11 篇 t.a. henzinger
  • 10 篇 pnueli amir
  • 10 篇 alur rajeev
  • 10 篇 r. alur
  • 10 篇 henzinger thomas...
  • 9 篇 bojanczyk mikola...
  • 9 篇 m. grohe
  • 8 篇 a. pnueli
  • 8 篇 sherwood timothy
  • 8 篇 n. immerman
  • 8 篇 p.g. kolaitis
  • 8 篇 immerman neil
  • 8 篇 panangaden praka...
  • 8 篇 f. pfenning
  • 8 篇 rolf drechsler
  • 8 篇 m. otto

语言

  • 3,838 篇 英文
  • 6 篇 其他
  • 5 篇 中文
检索条件"任意字段=Annual ACM/IEEE Symposium on Logic in Computer Science"
共 3849 条 记 录，以下是41-50 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
21st annual ieee symposium on logic in computer science - Cover
21st Annual IEEE Symposium on Logic in Computer Science - Co...
收藏
分享
引用
annual symposium on logic in computer science
Presents the front cover of the proceedings.
来源： 评论
21st annual ieee symposium on logic in computer science - TOC
21st Annual IEEE Symposium on Logic in Computer Science - TO...
收藏
分享
引用
annual symposium on logic in computer science
Presents the table of contents of the proceedings.
来源： 评论
Proceedings 11th annual ieee symposium on logic in computer science
Proceedings 11th Annual IEEE Symposium on Logic in Computer ...
收藏
分享
引用
annual symposium on logic in computer science
Presents the title page of the proceedings record.
来源： 评论
Proceedings of The 19th annual ieee symposium on logic in computer science
Proceedings of The 19th Annual IEEE Symposium on Logic in Co...
收藏
分享
引用
annual symposium on logic in computer science
Presents the front cover or splash screen of the proceedings.
来源： 评论
Proceedings Fifteenth annual ieee symposium on logic in computer science (Cat. No.99CB36332)
Proceedings Fifteenth Annual IEEE Symposium on Logic in Comp...
收藏
分享
引用
annual symposium on logic in computer science
来源： 评论
Proceedings of the 19th annual ieee symposium on logic in computer science
Proceedings of the 19th Annual IEEE Symposium on Logic in Co...
收藏
分享
引用
annual symposium on logic in computer science
The following topics are dealt with: formal logic; model checking; process algebra; automata theory; game theory; quantum theory; theorem proving and computational complexity.
来源： 评论
Proceedings. 20th annual ieee symposium on logic in computer science
Proceedings. 20th Annual IEEE Symposium on Logic in Computer...
收藏
分享
引用
annual symposium on logic in computer science
The following topics are dealt with: formal logic; decidability; probabilistics automata; temporal logic; Boolean algebra; formal verification; algebraic specification; bisimulation equivalence; lambda-calculus; pi-ca...
来源： 评论
Proceedings. Thirteenth annual ieee symposium on logic in computer science (Cat. No.98CB36226)
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Co...
收藏
分享
引用
annual symposium on logic in computer science
Presents the front cover of the proceedings record.
来源： 评论
22nd annual ieee symposium on logic in computer science-Title
22nd Annual IEEE Symposium on Logic in Computer Science-Titl...
收藏
分享
引用
annual symposium on logic in computer science
The following topics are dealt with: type theory; computational proof theory; timed and stochastic systems; verification; constraints; proof complexity; semantics of programming languages; game semantics; linear logic...
来源： 评论
21st annual ieee symposium on logic in computer science - Title
21st Annual IEEE Symposium on Logic in Computer Science - Ti...
收藏
分享
引用
annual symposium on logic in computer science
The following topics are dealt with: complexity and decidability; concurrency; pushdown systems; logics of programs; proof theory; model theory; temporal logics and automata; lambda calculus; timed and stochastic syst...
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共385页 <<  < 1 2 3 4 5 6 7 8 9 10 >  >>
回到顶部
执行限定条件