Guest (Restricted Access)
|
|
|
Bibliographic description  |
|
|
| Title |
|
Words, proofs, and diagrams |
|
|
|
| Involved pers. |
|
Barker-Plummer, Dave; Beaver, David I.; Benthem, Johan van; Scotto di Luzio, Patrick; Aiello, Marco; Fisler, Kathi; Lemon, Oliver; Grünwald, Peter; Koller, Alexander; Niehren, Joachim; Paiva, Valeria de; Tiede, Hans-Joerg; Aloni, Maria; Stokhof, M. J. B.; Westerståhl, Dag |
| Place : Publ. |
| Stanford, Calif.: Univ., Center for the Study of Language and Information |
| Year |
|
2002 |
| Written in |
|
English |
| Extent |
|
X, 276 S. |
| ISBN |
|
1-57586-406-1; 1-575-86405-3 |
| Series |
| CSLI lecture notes; 141 |
|
|
Selections from contents |
|
|
Classification |
| Domains / Computational linguistics |
|
| Domains / Computational linguistics / Individual aspects (computational linguistics) / Graphic representation (computational linguistics) |
|
| Domains / Computational linguistics / Parsing / Grammar types (computational linguistics) / Automata (theory of) |
|
| Domains / Cognitive science / Reasoning |
|
| Domains / Methodology / Philosophy of science / Theorem proving |
|
| Domains / Pragmalinguistics / Theory (pragm.) |
|
| Domains / Linguistic logic |
|
| Domains / Linguistic logic / Modal logic |
|
| Domains / Linguistic logic / Probability |
|
| Levels / Semantics / Modelle (semant.) / Formal semantics |
|
| Levels / Semantics / Theory (semant.) / Compositionality |
|
|
|
Redirected from |
| Computational linguistics ; Automatische Bilderkennung; Automatic image recognition; Automatic image classification; Graphic representation (computational linguistics) ; Theory of automata; Automata (theory of) ; Pragmalinguistik (Theorie) ; Pragmatic theory; Theory (pragm.) ; Logic of language; Linguistic logic ; Deontische Logik; Acceptance logic; Alethic modality; Alethische Modalität; Kripke semantics; Relational semantics; Modal logic ; Probability ; Formal semantics ; Frege's principle; Coercion; Compositionality |
|
|
|
|
