02345cam a2200397 a 4500 12729343 GCWUF 20180403070815.0 020403s2002 caua b 001 0 eng 2002005214 1575864053 (hardback : alk. paper) 1575864061 (pbk. : alk. paper) MAIN ENG P39 .W67 2002 401.43 21 PLU Barker-Plummer, Dave. Words, proofs, and diagrams / edited by Dave Barker-Plummer ... [et al.]. Stanford, Calif. : CSLI Publications, c2002. x, 276 p. : ill. ; 24 cm. P.B. Include Index Includes bibliographical references and index. Diagrammatic reasoning : editorial introduction / Dave Barker-Plummer -- Logical patterns in space / Marco Aiello and Johan van Benthem -- Diagrams and computational efficacy / Kathi Fisler -- Comparing the efficacy of visual languages / Oliver Lemon -- Computation : editorial introduction / Johan van Benthem -- Taking the sting out of subjective probability / Peter Grünwald -- Constraint programming in computational linguistics / Alexander Koller and Joachim Niehren -- Lineales : algebras and categories in the semantics of linear logic / Valeria de Paiva -- Proof tree automata / Hans-Joerg Tiede -- Logic & language : editorial introduction / David I. Beaver -- Questions under cover / Maria Aloni -- Pragmatics, and that's an order / David I Beaver -- Meaning, interpretation, and semantics / Martin Stokhof -- On the compositionality of idioms / Dag Westerstähl. Language and logic. Reasoning. Logic diagrams. Computational linguistics. Visual communication. Semantics (Philosophy) Benthem,Johan Van Beaver,David I. Publisher description http://www.loc.gov/catdir/description/uchi052/2002005214.html Table of contents http://www.loc.gov/catdir/toc/fy033/2002005214.html 7 cbc orignew 1 ecip 20 y-gencatlg ddc BK 4747 4747 0 0 ddc 0 0 NFIC MAIN MAIN GEN 2018-04-03 purchased 1801.50 0 401.43 PLU B0037915 2018-04-03 00:00:00 2018-04-03 BK