Words, proofs, and diagrams
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Stanford, Calif.
CSLI Publications
2002
|
| Schriftenreihe: | CSLI lecture notes
141 |
| Schlagworte: |
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
|
| Online Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Includes bibliographical references and index |
|---|---|
| Beschreibung: | X, 276 p. Ill. : 24 cm |
| ISBN: | 1575864053 1-57586-405-3 1575864061 1-57586-406-1 |