默认搜索操作

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

问别人

《纯粹逻辑与应用逻辑年鉴》第147卷

>主页 >期刊销售 >纯逻辑与应用逻辑年鉴

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

第147卷，编号1-2，2007年6月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/BusanicheM07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/BusanicheM07
曼努埃拉·布萨尼切,丹妮尔·蒙迪奇:
Lukasiewicz逻辑中Robinson一致性的几何。 1-22
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/apal/BaazPZ07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/BazPZ07
马提亚斯·巴兹,诺伯特·普赖宁,理查德·扎克:
一阶哥德尔逻辑。 23-47
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/Lee07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/Lee07网址
吉西克·李:
著名epsilon序数符号系统的比较₀. 48-70
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/WangD07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/WangD07
王伟（音译）,丁德成:
关于可计算可枚举度的可定义过滤器。 71-83
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/BezhanishviliG07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/BezhanishviliG07
古拉姆·贝扎尼什维利,西尔维奥·吉拉尔迪:
子框架逻辑的代数方法。直觉主义案例。 84-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/Fischer07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/Fischer07网址
安德烈亚斯·费舍尔:
O-最小λ^米-规则分层。 101-112

第147卷，第3期，2007年7月

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/KotlarskiPW07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/KotlarskiPW07
亨里克·科特拉斯基,博泽娜·皮卡特,安德烈亚斯·魏尔曼:
关于划分字母大集合的下限的更多信息。 113-126
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/MehatsS07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/MehatsS07
L.Méhats公司,谢尔盖·索洛维耶夫:
SMCCS中的一致性和IMLL中单位导数的等价性。 127-179
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/Kamensky07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/Kamensky07网址
莫舍·卡门斯基:
独立和预定义集。 180-186
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/Japaridze07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/Japaridze07网站
乔治·贾帕里泽:
命题层次上可计算逻辑的直观片段。 187-227

管理网站设置

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