The Logic of Typed Feature Structures:With Applications to Unification Grammars, Logic Programs and Constraint Resolution(Cambridge Tracts in Theoretical Computer Science)

类特征结构逻辑

计算机软件

售   价:
408.00
发货周期:预计5-7周发货
作      者
出  版 社
出版时间
2005年11月01日
装      帧
平装
ISBN
9780521022545
复制
页      码
280
开      本
247×174×15mm
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 50 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个