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