Words, proofs, and diagrams
著者
書誌事項
Words, proofs, and diagrams
CSLI Publications, c2002
大学図書館所蔵 全8件
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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」 より