咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是11-20 订阅
排序:
Proceedings of the 10th annual ieee symposium on logic in computer science
Proceedings of the 10th Annual IEEE Symposium on Logic in Co...
收藏 引用
Proceedings of the 10th annual ieee symposium on logic in computer science
The proceedings contains 48 papers. Topics discussed include logic in computer science, finite models, model checking and verification, high definition languages, theorem proving and artificial intelligence, concurren... 详细信息
来源: 评论
Proceedings of the 7th annual ieee symposium on logic in computer science
Proceedings of the 7th Annual IEEE Symposium on Logic in Com...
收藏 引用
Proceedings of the 7th annual ieee symposium on logic in computer science
The following topics are dealt with: lambda and related calculi;computation theory;logic;logic programming;programming theory;concurrent computation;and programming language theory. Abstracts of individual papers can ... 详细信息
来源: 评论
Proceedings : fifth annual ieee symposium on logic in computer science, June 4-7, 1990, Philadelphia
Proceedings : fifth annual IEEE symposium on logic in comput...
收藏 引用
1990年
作者: symposium on logic in computer science
来源: 内蒙古大学图书馆图书 评论
Proceedings: 18th annual ieee symposium on logic in computer science
Proceedings: 18th annual IEEE symposium on logic in computer...
收藏 引用
18th annual ieee symposium on logic in computer science
The proceedings contains 40 papers from the conference on 18th annual ieee symposium on logic in computer science. The topics discussed include: proof nets for unit-free multiplicative-additive linear logic;about tran... 详细信息
来源: 评论
Proceedings of the 1996 11th annual ieee symposium on logic in computer science, LICS'96
Proceedings of the 1996 11th Annual IEEE Symposium on Logic ...
收藏 引用
Proceedings of the 1996 11th annual ieee symposium on logic in computer science, LICS'96
The proceedings contains 49 papers from the 1996 ieee 11th annual symposium on logic in computer science. Topics discussed include formal logic, formal languages, computer programming languages, mathematical programmi... 详细信息
来源: 评论
Proceedings of the Eighth annual ieee symposium on logic in computer science
Proceedings of the Eighth Annual IEEE Symposium on Logic in ...
收藏 引用
Proceedings of the Eighth annual ieee symposium on logic in computer science
The symposium materials contain 43 papers. The topics covered include type theory, deduction, semantics, modal and temporal logics, finite-model theory, logic programming, imperfect information flow, lambda calculus, ... 详细信息
来源: 评论
Proceedings: Sixteenth annual ieee symposium on logic in computer science
Proceedings: Sixteenth Annual IEEE Symposium on Logic in Com...
收藏 引用
16th annual ieee symposium on logic in computer science
The proceedings contains 42 papers. Topics discussed include logic in computer science, security protocol analysis, decision theory, abstract transition relations, computational complexity, polytime logic, calculus, f... 详细信息
来源: 评论
Proceedings: 17th annual ieee symposium on logic in computer science
Proceedings: 17th annual IEEE symposium on logic in computer...
收藏 引用
17th annual ieee symposium on logic in computer science
The proceedings contains 40 papers from 17th annual ieee symposium on logic in computer science. The topics discussed include: little engines of proof;automatic decidability;tree-like counterexamples in model checking... 详细信息
来源: 评论
Proceedings: Nineteenth annual ieee symposium on logic in computer science
Proceedings: Nineteenth annual ieee symposium on logic in co...
收藏 引用
Proceedings of the 19th annual ieee symposium on logic in computer science
The proceedings contains 46 papers from the NINETEENTH annual ieee symposium on logic in computer science. The papers discussed include: model checking synchronized products product of infinite transition systems;mode... 详细信息
来源: 评论
Proceedings of the 1997 12th annual ieee symposium on logic in computer science, LICS
Proceedings of the 1997 12th Annual IEEE Symposium on Logic ...
收藏 引用
Proceedings of the 1997 12th annual ieee symposium on logic in computer science, LICS
The proceedings contains 39 papers from the 1997 ieee 12th annual symposium on logic in computer science. Topics discussed include: reduction orderings;Horn clauses;ground reducibility;Proof nets;linear logic;concurre... 详细信息
来源: 评论