CRAI - Universidad del Rosario Koha › Detalles de: Words, proofs, and diagrams

Words, proofs, and diagrams

Autores adicionales: Barker-Plummer, Dave -- ed. | Beaver, David I. -- ed. | Benthem, Joan Van -- ed. | Scotto di Luzio, Patrick -- ed.

Publicado por : CSLI Publications (Standford (California, Estados Unidos)) Detalles físicos: x, 276 páginas ilustraciones ISBN:1575864053; 1575864061.

Año : 2002

Recursos en línea:

Acceder
- Tabla de Contenido

Existencias ( 1 )
Notas de título ( 2 )

Tipo de ítem	Ubicación actual	Colección	Signatura	Copia número	Estado	Fecha de vencimiento	Código de barras	Reserva de ítems
Libro	Bodega Colecciones en Bodega Préstamo 4 días después de solicitado	Libro	401.43 W924 (Navegar estantería)	Ej.1	Disponible		100105203

Total de reservas: 0

Navegando Bodega Estantes, Ubicación: Préstamo 4 días después de solicitado Cerrar el navegador de estanterías

Previo								Siguiente
Previo	401.41 V335c La cultura como texto Lectura, semiótica y educación	401.43 N85 Semántica y pragmática del texto común Producción y comentarios de textos	401.43 S471 Semantics of natural language	401.43 W924 Words, proofs, and diagrams	401.9 B15 Cosificación, religión e inconsciente	401.9 B877a Afirst language : the early stages	401.9 B877s Society as text essays on rhetoric, reason, and reality	Siguiente

Incluye referencias bibliográficas e índice.

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.