Words, proofs, and diagrams
著者
書誌事項
Words, proofs, and diagrams
（CSLI lecture notes, no. 141）
CSLI Publications, c2002
- : pbk
大学図書館所蔵 全12件
注記
Includes bibliographical references and index
ハードバック版は,別書誌 <BA58973638>
内容説明・目次
内容説明
The past 20 years have witnessed an ever-increasing number of interdisciplinay research collaborations as computer scientists, logicians, linguists, philosophers, and psychologists all explore the same question: how can logic illuminate the nature of information? This collection covers active research areas at the interface of logic, computer science, and linguistics: process logics, formal semantics, language processing, and a new area where all three meet - the study of images and graphics as information carriers, and the diagrammatic reasoning supported by them.
「Nielsen BookData」 より