The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution

The logic of typed feature structures : with applications to unification grammars, logic programs, and constraint resolution

Bob Carpenter

Cambridge ; New York : Cambridge University Press, c1992

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況（返却予定日） コレクション 備考 予約・取り寄せ人数

1
007.64-C21

10005023591

一般図書

詳細情報

刊年

1992

形態

viii, 270 p. : ill. ; 26 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 32

注記

Bibliographical references: p. 245-258

Includes indexes

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Carpenter, Bob

分類

LCC:QA76.9.D35

DC20:005.7/3

件名

Data structures (Computer science)

Logic programming

ISBN

0521419328

NCID

BA18509839

番号

LCCN : 91039777

メールで送信

宛先

件名

ブックマークに登録

リストを選択

指定なし

メモ

ブックマークを編集

リストを選択

メモ

リストを選択