Words, proofs, and diagrams

edited by Dave Barker-Plummer ... [et al.]
Bok · Engelsk · 2002

Utgitt	Stanford, Calif. : CSLI Publications , c2002
Omfang	X, 276 s. : ill.
Emner	Computational linguistics Language and logic Logic diagrams Reasoning Vis mer... Semantics (Philosophy) Visual communication Datalingvistikk Logikk Semantikk
ISBN	1575864053. - 1575864061