Words, proofs, and diagrams
Author(s)
Bibliographic Information
Words, proofs, and diagrams
（CSLI lecture notes, no. 141）
CSLI Publications, c2002
- : pbk
Available at / 12 libraries
-
Kobe Shoin Women's University Library / Kobe Shoin Women's College Library
: pbk801/66111316382
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
ハードバック版は,別書誌 <BA58973638>
Description and Table of Contents
Description
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.
by "Nielsen BookData"
