Algebras, diagrams and decisions in language, logic and computation
著者
書誌事項
Algebras, diagrams and decisions in language, logic and computation
(CSLI lecture notes, no. 144)
CSLI Publications, c2001
- : pbk
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
This exemplary volume shows how the shared interests of three different research areas can lead to significant and fruitful exchanges: each of six papers very accessibly presents an exciting contribution to the study and uses of algebra, diagrams, and decisions, ranging from indipensable overview papers about shared formal members to inspiring applications of formal tools to specific problems.
「Nielsen BookData」 より