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

限定检索结果

文献类型

  • 130 篇 期刊文献
  • 121 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 128 篇 理学
    • 65 篇 数学
    • 30 篇 物理学
    • 22 篇 生物学
    • 19 篇 统计学（可授理学、...
    • 10 篇 化学
    • 7 篇 地球物理学
    • 7 篇 系统科学
  • 119 篇 工学
    • 75 篇 计算机科学与技术...
    • 51 篇 软件工程
    • 21 篇 信息与通信工程
    • 16 篇 电气工程
    • 15 篇 生物医学工程（可授...
    • 14 篇 生物工程
    • 12 篇 控制科学与工程
    • 10 篇 电子科学与技术（可...
    • 7 篇 机械工程
    • 7 篇 光学工程
    • 7 篇 土木工程
    • 6 篇 化学工程与技术
    • 6 篇 环境科学与工程（可...
    • 5 篇 仪器科学与技术
    • 5 篇 材料科学与工程（可...
    • 5 篇 建筑学
  • 39 篇 管理学
    • 26 篇 管理科学与工程(可...
    • 19 篇 工商管理
    • 16 篇 图书情报与档案管...
  • 16 篇 医学
    • 11 篇 基础医学(可授医学...
    • 9 篇 临床医学
  • 9 篇 经济学
    • 8 篇 应用经济学
  • 9 篇 法学
    • 9 篇 社会学
  • 8 篇 农学
  • 2 篇 教育学
  • 1 篇 哲学
  • 1 篇 艺术学

主题

  • 9 篇 deep learning
  • 7 篇 machine learning
  • 6 篇 optimization
  • 6 篇 global optimizat...
  • 4 篇 computer archite...
  • 4 篇 mathematics
  • 4 篇 clustering algor...
  • 4 篇 principal compon...
  • 3 篇 computer science
  • 3 篇 computer circuit...
  • 3 篇 big data
  • 3 篇 information tech...
  • 3 篇 computational mo...
  • 3 篇 decision trees
  • 3 篇 time series
  • 3 篇 floods
  • 3 篇 hardware
  • 3 篇 artificial intel...
  • 3 篇 field programmab...
  • 3 篇 machine learning...

机构

  • 11 篇 bioinformatics a...
  • 8 篇 graduate program...
  • 7 篇 department of co...
  • 7 篇 department of co...
  • 7 篇 department of ma...
  • 7 篇 computer science...
  • 6 篇 department of mo...
  • 6 篇 university colle...
  • 6 篇 vector institute...
  • 6 篇 hiroshima astrop...
  • 6 篇 faculty of infor...
  • 6 篇 department of el...
  • 6 篇 mathematics depa...
  • 5 篇 leeds institute ...
  • 5 篇 center for psych...
  • 5 篇 department of in...
  • 5 篇 institute for pa...
  • 5 篇 department of st...
  • 5 篇 university of pi...
  • 5 篇 arnie charbonnea...

作者

  • 14 篇 bens pardamean
  • 13 篇 pardamean bens
  • 10 篇 ovchinnikov alex...
  • 9 篇 hidayat alam ahm...
  • 9 篇 tulus
  • 9 篇 alam ahmad hiday...
  • 8 篇 zarlis muhammad
  • 7 篇 llanos carlos h.
  • 7 篇 pogudin gleb
  • 6 篇 carlos h. llanos
  • 6 篇 manurung rosida ...
  • 6 篇 muñoz daniel m.
  • 6 篇 ilmer ilia
  • 6 篇 winarno edy
  • 6 篇 ayala-rincón mau...
  • 5 篇 agung trisetyars...
  • 5 篇 rudi nirwantono
  • 5 篇 mauricio ayala-r...
  • 5 篇 iskandar akbar
  • 5 篇 rahmad kurniawan

语言

  • 239 篇 英文
  • 10 篇 其他
  • 2 篇 中文
检索条件"机构=Graduate Program of Mathematics and Computer Science"
共 251 条 记 录，以下是251-260 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
Logics of knowledge, games and dynamic logic  4th
收藏
分享
引用
4th Conference on Foundations of Software Technology and Theoretical computer science, FST and TCS 1984
作者： Parikh, Rohit Department of Computer Science Brooklyn College of CUNY Bedford Ave and Avenue H BrooklynNY11210 United States Mathematics Program CUNY Graduate Center 33 West 42nd Street New YorkNY10036 United States
We study monotonic and non-monotonic Logics of Knowledge, giving decision procedures and completeness results. In particular we develop a model theory for a non-monotonic Logic of Knowledge and show that it correspond... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共26页 <<  < 17 18 19 20 21 22 23 24 25 26 >  >>
回到顶部
执行限定条件