停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

3.KGC 1993：捷克共和国布尔诺

>主页 >会议和研讨会 >KGC公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/1993年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/1993
乔治·戈特洛布,亚历山大·莱奇,丹妮尔·蒙迪奇:
计算逻辑与证明理论，第三届库尔特·哥德尔学术讨论会，KGC’93，捷克共和国布尔诺，1993年8月24日至27日，会议记录。计算机科学课堂讲稿713,施普林格 1993，国际标准图书编号3-540-57184-1

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/博格R93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/BorgerR93
埃贡·伯格,罗森茨威格院长:
Prolog中集合谓词的数学。 1-13
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Cowen93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Cowen93
罗伯特·柯文:
集合论和计算机科学之间的一些联系。 14-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/费曼93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Feferman93
所罗门·费弗曼:
哥德尔的辩证法解读及其双向延伸。 23-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Hajek93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Hajek93
彼得·哈耶克:
认识灌输与艺术层次（摘要）。 41-42
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Halpern93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Halpern93
约瑟夫·哈珀（Joseph Y.Halpern）:
对缺省逻辑、自认知逻辑和仅知逻辑的批判性重新审视。 43-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Marek93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Marek93
V.威克托·马雷克:
非单调逻辑和逻辑程序设计中的复杂性问题（摘要）。 61
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/薄荷93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Mints93
格里戈里造币厂:
非经典逻辑中分解方法的策略（摘要）。 62
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Pacholski公司93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Pacholski93
莱泽克·帕霍尔斯基:
逻辑程序设计、数据库理论和经典逻辑中蕴涵问题的不确定性。 63-68
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/SambinV93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/SambinV93
乔瓦尼·桑宾,西尔维奥·瓦伦蒂尼:
建立Matrin-Löf类型理论的工具箱（摘要）。 69-70

已投稿论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/ArtemovS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/ArtemovS93
谢尔盖·N·阿特莫夫,Tyko Straßen公司:
哥德尔证明谓词的逻辑。 71-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/巴赫米尔GW93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/BachmairGW93
利奥·巴赫迈尔,哈拉尔德·甘津格,乌韦·沃尔德曼:
叠加与简化作为一元类等式的判定过程。 83-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/竹93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Bamber93
N.P.班伯:
计算可以访问实域，但只使用经典机器。 97-107
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/贝克特HS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/BeckertHS93
伯恩哈德·贝克特,雷内·哈内尔,彼得·施密特:
自由变量语义表中更自由化的delta-Rule。 108-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Benevies93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Benevises93
马里奥·R·F·贝内维提斯:
在自然演绎中区分假设和超逻辑公理。 120-131
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/瓶93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/BottoniL93
阿尔贝托·波托尼,乔治·列维:
拟合函数的逆。 132-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/布鲁宁93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Bruning93
斯特凡·布吕宁:
连接演算中的循环检测。 144-151
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/成本D93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/CostaD93
牛顿·C·A·达·科斯塔,弗朗西斯科·A·多里亚:
关于阿诺德的希尔伯特研讨会问题。 152-158
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/DanosJS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/DanosJS93
文森特·达诺斯,Jean-Baptiste儒瓦内,哈罗德·谢林克斯:
指数结构：揭示线性逻辑证明的动力学。 159-171
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Egly93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Egly93
乌韦·埃格利:
功能介绍的不同概念。 172-183
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Faglia公司93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Faglia93
乔瓦尼·法格里亚:
从加法语言中的不满足句看Robinson子系统Q+的双指数不可分性。 184-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/法格里亚Y93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/FagliaY93
乔瓦尼·法格里亚,保罗·杨:
普雷斯伯格加法理论中本质上无法证明的定理的意义。 187-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Gilmore93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Gilmore93
保罗·C·吉尔摩:
NaDSet的句法一致性证明。 190-201
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Gubault93公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Goubault93
让·古博:
基于规则的刚性E-Unification算法。 202-210
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Janhunen93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/JanhunenN93
托米·詹胡宁,伊尔卡·尼梅尔:
自我认知推理中弱化消极反思的一种方案。 211-222
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/约翰森93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Johannsen93
简·约翰森:
关于尖锐有界多项式归纳法的弱点。 223-230
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Kolany93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Kolany93
亚当·科拉尼:
关于Hypergraph的逻辑。 231-242
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/KummerS93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/KummerS93
马庭·库摩,弗兰克·斯蒂芬:
频率计算和有界查询的递归理论性质（扩展抽象）。 243-254
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Nies93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Nies93
安德烈·尼斯:
解读学位结构中的真算术。 255-262
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/巴黎93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Parigot93网址
米歇尔·帕里格特:
作为程序的经典证明。 263-276
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Petermann93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Petermann93
乌韦·彼得曼:
具有开放内置理论的池微积分的完整性。 277-288
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Pliuskevicius93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Pliuskevicius93
Regimantas Pliuskevicius公司:
关于线性时序逻辑的饱和原理。 289-300
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/SazonovV93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/SazonovV93
弗拉基米尔·余（Vladimir Yu）。萨佐诺夫,安德烈·沃伦科夫:
与可行计算性相关的类型化Lambda模型的构造。 301-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/SchwarzT93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/SchwarzT93
格里戈里·施瓦兹,米罗斯瓦·特鲁兹琴斯基:
非单调推理有时更简单。 313-324
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/威拉德93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/威拉德93
丹·威拉德:
自我验证Axiom系统。 325-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/kgc/Zlatuska93
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/kgc/Zlatuska93
吉尔·兹拉图斯卡:
线性逻辑中的承诺选择并发逻辑编程。 337-348

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。