HOME > 상세정보

상세정보

Words, proofs, and diagrams

Words, proofs, and diagrams (1회 대출)

자료유형
단행본
개인저자
Barker-Plummer, Dave.
서명 / 저자사항
Words, proofs, and diagrams / edited by Dave Barker-Plummer ... [et al.].
발행사항
Stanford, Calif. :   CSLI Publications, Center for the Study of Language and Information ,   2002.  
형태사항
x, 276 p. : ill. ; 23 cm.
총서사항
CSLI lecture notes ; no. 141
ISBN
1575864053 (hardback : alk. paper) 1575864061 (pbk. : alk. paper)
내용주기
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.
서지주기
Includes bibliographical references and index.
일반주제명
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.

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 중앙도서관/서고6층/ 청구기호 401.43 W924 등록번호 111235478 도서상태 대출가능 반납예정일 예약 서비스 B M

관련분야 신착자료