The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science - Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) - 書籍 - Cambridge University Press - 9780521022545 - 2005年11月10日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania)
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science

価格
¥ 10.483
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月14日 - 2026年1月27日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

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.

280 pages, 28 b/w illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2005年11月10日
ISBN13 9780521022545
出版社 Cambridge University Press
ページ数 280
寸法 170 × 245 × 15 mm   ·   453 g
言語 英語  
シリーズ編集者 Abramsky, S.
シリーズ編集者 Aczel, P. H.
シリーズ編集者 Bakker, J. W. De
シリーズ編集者 Gurevich, Y.
シリーズ編集者 Tucker, J. V.
シリーズ編集者 Van Rijsbergen, C. J.

Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania)のすべてを見る ( 例： Paperback Book )