停止战争！

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

对于科学家：

默认搜索操作

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

问别人

TbiLLC 2013年：佐治亚州古达乌里

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/2013年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/2013
马丁·阿赫,丹尼尔·霍尔,埃米尔·杰拉贝克,克莱门斯·库普克:
逻辑、语言和计算——第十届第比利斯逻辑、语言与计算国际研讨会，2013年TbiLLC，格鲁吉亚古达乌里，2013年9月23日至27日。修订论文集。计算机科学课堂讲稿8984,施普林格 2015，国际标准图书编号978-3-662-46905-7
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Altshuler13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Altshuler13
丹尼尔·阿尔舒勒:
方面研究：反思与新前沿。 1-9
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Iemhoff公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Iemhoff13
罗莎莉·伊姆霍夫:
Gudauri可接受规则指南。 10-17
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Aher13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Aher13
马丁·阿赫:
道义冲突和多次违规。 18-43
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Balbiani公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/BalbianiG13
菲利普·巴尔比亚尼,乔伊格登·根瑟:
接触逻辑中的可接纳性和统一性。 44-60
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Balogh13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Balogh13
卡塔·巴洛赫:
F-LTAG聚焦问题语义。 61-81
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/BeridzeLN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/BeridzeLN13
玛丽娜·贝里泽,莉安娜·洛特基帕尼泽,大卫·纳达拉亚:
格鲁吉亚方言语料库中的方言词典。 82-96
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/BezhanishviliCG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/BezhanishviliCG13
尼克·贝扎尼什维利,迪昂·库曼斯,塞缪尔·范古尔,迪克·德琼恩:
IPC的Meet蕴涵片段的对偶性和通用模型。 97-116
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/DunchevLRW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/DunchevLRW13
Cvetan Dunchev先生,亚历山大·莱奇,米哈伊尔·鲁卡亚,丹尼尔·韦勒:
切割-消除和验证示意图。 117-136
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/GroenendijkR13会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/GroenendijkR13
杰罗恩·格罗恩南迪克,弗洛里斯·罗洛夫森:
走向虚拟探究语义学。 137-156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Henk13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Henk13
保拉·亨克:
基于算术模型构建的克里普克模型。 157-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/JonghZ13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/JonghZ13
迪克·德琼恩,赵志光:
直觉主义和极小逻辑中的正公式。 175-189
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/2013年3月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/MarMC13
马健威,尤利亚·曼亚基纳,阿曼达·卡法里:
除非和直到：成分分析。 190-209
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/NaumannP13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/NaumannP13
拉尔夫·诺曼,维布克-彼得森:
框架理论、依赖逻辑和策略。 210-233
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Ortmann13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Ortmann13
阿尔伯特·奥尔特曼:
独特性和占有性：名义决定中类型转换的类型学证据。 234-256
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/SanoM13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/SanoM13网站
胜彦三野,马明慧:
维瑟命题逻辑的替代语义。 257-275
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Sassoon公司13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Sassoon13
加利特·魏德曼·萨松:
名词之间的比较。 276-289
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/Schwabe13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/Swabe13
科尔斯汀·施瓦布:
关于参数条件的许可。 290-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tbillc/ZinovaF13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tbillc/ZinovaF13网站
尤利娅·齐诺瓦,哈娜·菲利普:
双义动词：一个边缘范畴？ 310-332

服务

管理网站设置

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