HOME > Detail View

Detail View

Words, proofs, and diagrams

Words, proofs, and diagrams (Loan 1 times)

Material type
단행본
Personal Author
Barker-Plummer, Dave.
Title Statement
Words, proofs, and diagrams / edited by Dave Barker-Plummer ... [et al.].
Publication, Distribution, etc
Stanford, Calif. :   CSLI Publications, Center for the Study of Language and Information ,   2002.  
Physical Medium
x, 276 p. : ill. ; 23 cm.
Series Statement
CSLI lecture notes ; no. 141
ISBN
1575864053 (hardback : alk. paper) 1575864061 (pbk. : alk. paper)
Content Notes
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 Grunwald -- 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 Beaver -- Questions under cover / Maria Aloni -- Pragmatics, and that's an order / David Beaver -- Meaning, interpretation, and semantics / Martin Stokhof -- On the compositionality of idioms / Dag Westerstahl.
Bibliography, Etc. Note
Includes bibliographical references and index.
Subject Added Entry-Topical Term
Language and logic. Reasoning. Logic diagrams. Computational linguistics. Visual communication. Semantics (Philosophy)
000 02028namuu2200325 a 4500
001 000000803639
005 20030210111632
008 020403s2002 caua b 001 0 eng
010 ▼a ?2005214
020 ▼a 1575864053 (hardback : alk. paper)
020 ▼a 1575864061 (pbk. : alk. paper)
040 ▼a DLC ▼c DLC ▼d 211009
049 1 ▼l 111235478
050 0 0 ▼a P39 ▼b .W67 2002
082 0 0 ▼a 401/.43 ▼2 21
090 ▼a 401.43 ▼b W924
245 0 0 ▼a Words, proofs, and diagrams / ▼c edited by Dave Barker-Plummer ... [et al.].
260 ▼a Stanford, Calif. : ▼b CSLI Publications, Center for the Study of Language and Information , ▼c 2002.
300 ▼a x, 276 p. : ▼b ill. ; ▼c 23 cm.
440 0 ▼a CSLI lecture notes ; ▼v no. 141
504 ▼a Includes bibliographical references and index.
505 0 0 ▼t Diagrammatic reasoning : editorial introduction / ▼r Dave Barker-Plummer -- ▼t Logical patterns in space / ▼r Marco Aiello and Johan van Benthem -- ▼t Diagrams and computational efficacy / ▼r Kathi Fisler -- ▼t Comparing the efficacy of visual languages / ▼r Oliver Lemon -- ▼t Computation : editorial introduction / ▼r Johan van Benthem -- ▼t Taking the sting out of subjective probability / ▼r Peter Grunwald -- ▼t Constraint programming in computational linguistics / ▼r Alexander Koller and Joachim Niehren -- ▼t Lineales : algebras and categories in the semantics of linear logic / ▼r Valeria de Paiva -- ▼t Proof tree automata / ▼r Hans-Joerg Tiede -- ▼t Logic language : editorial introduction / ▼r David Beaver -- ▼t Questions under cover / ▼r Maria Aloni -- ▼t Pragmatics, and that's an order / ▼r David Beaver -- ▼t Meaning, interpretation, and semantics / ▼r Martin Stokhof -- ▼t On the compositionality of idioms / ▼r Dag Westerstahl.
650 0 ▼a Language and logic.
650 0 ▼a Reasoning.
650 0 ▼a Logic diagrams.
650 0 ▼a Computational linguistics.
650 0 ▼a Visual communication.
650 0 ▼a Semantics (Philosophy)
700 1 ▼a Barker-Plummer, Dave.

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Western Books/ Call Number 401.43 W924 Accession No. 111235478 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields