Data & IT
Pocket
Words, Proofs and Diagrams
David Barker-Plummer • David I Beaver • Johan Van Benthem • Patrick Scotto Di Luzio
449:-
Uppskattad leveranstid 11-22 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Inbunden 1129:-
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.
- Format: Pocket/Paperback
- ISBN: 9781575864068
- Språk: Engelska
- Antal sidor: 286
- Utgivningsdatum: 2002-07-01
- Förlag: Centre for the Study of Language & Information