Words, proofs, and diagrams:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
CSLI Publications
2002
|
| Schriftenreihe: | CSLI lecture notes
141 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references and index |
| Beschreibung: | X, 276 p. Ill. : 24 cm |
| ISBN: | 1575864053 1575864061 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV014462423 | ||
| 003 | DE-604 | ||
| 005 | 20030606 | ||
| 007 | t | ||
| 008 | 020603s2002 xxua||| |||| 00||| eng d | ||
| 010 | |a 2002005214 | ||
| 020 | |a 1575864053 |9 1-57586-405-3 | ||
| 020 | |a 1575864061 |9 1-57586-406-1 | ||
| 035 | |a (OCoLC)49531242 | ||
| 035 | |a (DE-599)BVBBV014462423 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-739 |a DE-12 |a DE-188 | ||
| 050 | 0 | |a P39 | |
| 082 | 0 | |a 401/.43 |2 21 | |
| 084 | |a ES 930 |0 (DE-625)27932: |2 rvk | ||
| 245 | 1 | 0 | |a Words, proofs, and diagrams |c ed. by Dave Barker-Plummer ... |
| 264 | 1 | |a Stanford, Calif. |b CSLI Publications |c 2002 | |
| 300 | |a X, 276 p. |b Ill. : 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a CSLI lecture notes |v 141 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 4 | |a Communication visuelle | |
| 650 | 4 | |a Langage et logique | |
| 650 | 4 | |a Linguistique informatique | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logigrammes | |
| 650 | 4 | |a Raisonnement | |
| 650 | 7 | |a Redeneren |2 gtt | |
| 650 | 4 | |a Sémantique (Philosophie) | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Computational linguistics | |
| 650 | 4 | |a Language and logic | |
| 650 | 4 | |a Logic diagrams | |
| 650 | 4 | |a Reasoning | |
| 650 | 4 | |a Semantics (Philosophy) | |
| 650 | 4 | |a Visual communication | |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Diagrammatisches Schließen |0 (DE-588)4665701-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Sprachlogik |0 (DE-588)4182527-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Diagrammatisches Schließen |0 (DE-588)4665701-0 |D s |
| 689 | 0 | 1 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 0 | 2 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 3 | |a Sprachlogik |0 (DE-588)4182527-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Barker-Plummer, Dave |e Sonstige |4 oth | |
| 830 | 0 | |a CSLI lecture notes |v 141 |w (DE-604)BV001900711 |9 141 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009875691&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009875691 | ||
Datensatz im Suchindex
| _version_ | 1804129298770034688 |
|---|---|
| adam_text | Words, Proofs, and Diagrams
edited by
Dave Barker-Plummer
David I Beaver
Johan van Benthem
Patrick Scotto di Luzio
/CII Center for the Study of
^ *JLI Language and Information
PUBLICATIONS Stanford California
Contents
Contributors vii
Foreword ix
Diagrammatic Reasoning
Editorial Introduction
Dave Barker-Plummer 1
Logical Patterns in Space
Marco Aiello and Johan van Benthem 5
Diagrams and Computational Efficacy
Kathi Fisler 27
Comparing the Efficacy of Visual Languages
Oliver Lemon 47
Computation
Editorial Introduction
Johan van Benthem 71
Taking the Sting out of Subjective Probability
Peter Grunwald 75
Constraint Programming in Computational Linguistics
Alexander Roller and Joachim Niehren 95
Lineales: Algebras and Categories in the Semantics of
Linear Logic
Valeria de Paiva 123
Proof Tree Automata
Hans-Joerg Tiede 143
vi / CONTENTS
Logic amp; Language
Editorial Introduction
David I Beaver 163
Questions Under Cover
Maria Aloni 167
Pragmatics, and That s an Order
David I Beaver 191
Meaning, Interpretation and Semantics
Martin Stokhof 217
On the Compositionality of Idioms
Dag Westerstdhl 241
Index 273
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV014462423 |
| callnumber-first | P - Language and Literature |
| callnumber-label | P39 |
| callnumber-raw | P39 |
| callnumber-search | P39 |
| callnumber-sort | P 239 |
| callnumber-subject | P - Philology and Linguistics |
| classification_rvk | ES 930 |
| ctrlnum | (OCoLC)49531242 (DE-599)BVBBV014462423 |
| dewey-full | 401/.43 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401/.43 |
| dewey-search | 401/.43 |
| dewey-sort | 3401 243 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02383nam a2200661zcb4500</leader><controlfield tag="001">BV014462423</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20030606 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">020603s2002 xxua||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002005214</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575864053</subfield><subfield code="9">1-57586-405-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575864061</subfield><subfield code="9">1-57586-406-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49531242</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014462423</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">P39</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401/.43</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ES 930</subfield><subfield code="0">(DE-625)27932:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Words, proofs, and diagrams</subfield><subfield code="c">ed. by Dave Barker-Plummer ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">CSLI Publications</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 276 p.</subfield><subfield code="b">Ill. : 24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">CSLI lecture notes</subfield><subfield code="v">141</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Communication visuelle</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Langage et logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistique informatique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logigrammes</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Raisonnement</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Redeneren</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Sémantique (Philosophie)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Language and logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic diagrams</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reasoning</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics (Philosophy)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Visual communication</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Diagrammatisches Schließen</subfield><subfield code="0">(DE-588)4665701-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Diagrammatisches Schließen</subfield><subfield code="0">(DE-588)4665701-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barker-Plummer, Dave</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">CSLI lecture notes</subfield><subfield code="v">141</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">141</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009875691&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009875691</subfield></datafield></record></collection> |
| id | DE-604.BV014462423 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T19:02:55Z |
| institution | BVB |
| isbn | 1575864053 1575864061 |
| language | English |
| lccn | 2002005214 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009875691 |
| oclc_num | 49531242 |
| open_access_boolean | |
| owner | DE-739 DE-12 DE-188 |
| owner_facet | DE-739 DE-12 DE-188 |
| physical | X, 276 p. Ill. : 24 cm |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | CSLI Publications |
| record_format | marc |
| series | CSLI lecture notes |
| series2 | CSLI lecture notes |
| spelling | Words, proofs, and diagrams ed. by Dave Barker-Plummer ... Stanford, Calif. CSLI Publications 2002 X, 276 p. Ill. : 24 cm txt rdacontent n rdamedia nc rdacarrier CSLI lecture notes 141 Includes bibliographical references and index Communication visuelle Langage et logique Linguistique informatique Logica gtt Logigrammes Raisonnement Redeneren gtt Sémantique (Philosophie) Logik Computational linguistics Language and logic Logic diagrams Reasoning Semantics (Philosophy) Visual communication Formale Semantik (DE-588)4122144-8 gnd rswk-swf Diagrammatisches Schließen (DE-588)4665701-0 gnd rswk-swf Sprachlogik (DE-588)4182527-5 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Diagrammatisches Schließen (DE-588)4665701-0 s Formale Semantik (DE-588)4122144-8 s Künstliche Intelligenz (DE-588)4033447-8 s Sprachlogik (DE-588)4182527-5 s DE-604 Barker-Plummer, Dave Sonstige oth CSLI lecture notes 141 (DE-604)BV001900711 141 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009875691&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Words, proofs, and diagrams CSLI lecture notes Communication visuelle Langage et logique Linguistique informatique Logica gtt Logigrammes Raisonnement Redeneren gtt Sémantique (Philosophie) Logik Computational linguistics Language and logic Logic diagrams Reasoning Semantics (Philosophy) Visual communication Formale Semantik (DE-588)4122144-8 gnd Diagrammatisches Schließen (DE-588)4665701-0 gnd Sprachlogik (DE-588)4182527-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4122144-8 (DE-588)4665701-0 (DE-588)4182527-5 (DE-588)4033447-8 |
| title | Words, proofs, and diagrams |
| title_auth | Words, proofs, and diagrams |
| title_exact_search | Words, proofs, and diagrams |
| title_full | Words, proofs, and diagrams ed. by Dave Barker-Plummer ... |
| title_fullStr | Words, proofs, and diagrams ed. by Dave Barker-Plummer ... |
| title_full_unstemmed | Words, proofs, and diagrams ed. by Dave Barker-Plummer ... |
| title_short | Words, proofs, and diagrams |
| title_sort | words proofs and diagrams |
| topic | Communication visuelle Langage et logique Linguistique informatique Logica gtt Logigrammes Raisonnement Redeneren gtt Sémantique (Philosophie) Logik Computational linguistics Language and logic Logic diagrams Reasoning Semantics (Philosophy) Visual communication Formale Semantik (DE-588)4122144-8 gnd Diagrammatisches Schließen (DE-588)4665701-0 gnd Sprachlogik (DE-588)4182527-5 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Communication visuelle Langage et logique Linguistique informatique Logica Logigrammes Raisonnement Redeneren Sémantique (Philosophie) Logik Computational linguistics Language and logic Logic diagrams Reasoning Semantics (Philosophy) Visual communication Formale Semantik Diagrammatisches Schließen Sprachlogik Künstliche Intelligenz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009875691&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900711 |
| work_keys_str_mv | AT barkerplummerdave wordsproofsanddiagrams |