bokomslag Words, Proofs and Diagrams
1099:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 11-21 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 286 sidor
  • 2002
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.
  • Författare: David Barker-Plummer, David I Beaver, Johan Van Benthem, Patrick Scotto Di Luzio
  • Format: Inbunden
  • ISBN: 9781575864051
  • Språk: Engelska
  • Antal sidor: 286
  • Utgivningsdatum: 2002-07-01
  • Förlag: Centre for the Study of Language & Information