|
Showing 1 - 1 of
1 matches in All Departments
The past twenty years have witnessed extensive collaborative
research between computer scientists, logicians, linguists,
philosophers, and psychologists. These interdisciplinary studies
stem from the realization that researchers drawn from all fields
are studying the same problem. Specifically, a common concern
amongst researchers today is how logic sheds light on the nature of
information. Ancient questions concerning how humans communicate,
reason and decide, and modern questions about how computers should
communicate, reason and decide are of prime interest to researchers
in various disciplines.
"Words, Proofs and Diagrams" is a collection of papers covering
active research areas at the interface of logic, computer science,
and linguistics. Readers of the volume will find traditional
research on process logics, issues in formal semantics, and
language processing. In addition, the volume also highlights a
particularly new area where all three disciplines meet--the study
of images and graphics as information carriers and the diagrammatic
reasoning supported by them.
|
You may like...
Hampstead
Diane Keaton, Brendan Gleeson, …
DVD
R66
Discovery Miles 660
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.