Matches in Library of Congress for { <http://lccn.loc.gov/2002005214> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- 2002005214 contributor B9195547.
- 2002005214 created "c2002.".
- 2002005214 date "2002".
- 2002005214 date "c2002.".
- 2002005214 dateCopyrighted "c2002.".
- 2002005214 description "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.".
- 2002005214 description "Includes bibliographical references and index.".
- 2002005214 extent "x, 276 p. :".
- 2002005214 identifier "1575864053 (hardback : alk. paper)".
- 2002005214 identifier "1575864061 (pbk. : alk. paper)".
- 2002005214 identifier 2002005214.html.
- 2002005214 identifier 2002005214.html.
- 2002005214 issued "2002".
- 2002005214 issued "c2002.".
- 2002005214 language "eng".
- 2002005214 publisher "Stanford, Calif. : CSLI Publications,".
- 2002005214 subject "401/.43 21".
- 2002005214 subject "Computational linguistics.".
- 2002005214 subject "Language and logic.".
- 2002005214 subject "Logic diagrams.".
- 2002005214 subject "P39 .W67 2002".
- 2002005214 subject "Reasoning.".
- 2002005214 subject "Semantics (Philosophy)".
- 2002005214 subject "Visual communication.".
- 2002005214 tableOfContents "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.".
- 2002005214 title "Words, proofs, and diagrams / edited by Dave Barker-Plummer ... [et al.].".
- 2002005214 type "text".