Instituciones
Área de conocimientoPortal Institucional (Dialnet CRIS)Periodo de publicación recogido
|
|
|
Sobre tópicos y términos primitivos de la intensión
Jaime Sarabia Álvarez-Ude
Revista de filosofía, ISSN-e 1988-284X, ISSN 0034-8244, Nº 4, 1990, págs. 5-30
Prueba automática para las lógicas LE, K, T y S4
Jaime Sarabia Álvarez-Ude, Antonio Benítez
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 15, Nº. 1-2, 1985, págs. 213-230
Sobre metalógica y lógica trivalente
Jaime Sarabia Álvarez-Ude
Teorema: Revista internacional de filosofía, ISSN 0210-1602, Vol. 13, Nº. 1-2, 1983, págs. 225-260
hazLógica: o cómo aprender lógica haciendo lógica
Carmen López Rincón, Jaime Sarabia Álvarez-Ude
Jornada «Aprendizaje Eficaz con TIC en la UCM» / coord. por David Carabantes Alarcón, Rosa de la Fuente Fernández, Ana Fernández-Pampillón Cesteros, Jorge Jesús Gómez Sanz, Juan Antonio Infante del Río, José Antonio López Orozco, Manuel Joaquín Salamanca López; Luis Hernández Yáñez (dir.), 2022, ISBN 978-84-669-3754-2, págs. 483-491
Extracción y procesamiento automáticos de información: una aplicación en conversión retrospectiva
Jaime Sarabia Álvarez-Ude, Carmen López Rincón
Nuevos mercados, nuevos usuarios, 1999, ISBN 84-931167-0-X, págs. 345-356
Análisis textual automático: el proyecto BiblioTECA
Jaime Sarabia Álvarez-Ude
Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996) / coord. por Carlos Martín Vide, 1996, ISBN 84-477-0575-7, págs. 299-312
Cálculo secuencial Lambek para programación lógica
Jaime Sarabia Álvarez-Ude
Perspectivas actuales de lógica y filosofía de la ciencia / Juan Carlos García-Bermejo Ochoa (ed. lit.), Andrés Rivadulla Rodríguez (ed. lit.), J. Urrutia (ed. lit.), José Luis Zofío Prieto (ed. lit.), Eduardo Bustos (ed. lit.), Eulalia Pérez Sedeño (ed. lit.), 1994, ISBN 84-323-0857-9, págs. 193-202
Técnicas de metaprogramación en gramáticas lógicas
Jaime Sarabia Álvarez-Ude
Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991) / coord. por Carlos Martín Vide, 1992, ISBN 84-7665-988-1, págs. 593-600
Lenguaje, objetos y significado
Jaime Sarabia Álvarez-Ude
Entre las ciencias humanas y la ética: homenaje al profesor Luis Cencillo / coord. por Nicolás Martín Sosa, Vicente Ortiz; Luis Cencillo (hom.), 1989, ISBN 84-7481-565-7, págs. 39-51
Jens Allwood, Oesten Dahl, Jaime Sarabia Álvarez-Ude, Lars-Gunnar Andersson
Thomson-Paraninfo, 1981. ISBN 84-283-1126-9
Ha sido reseñado en:
Lorenzo Peña (res.)
Contextos, ISSN 0212-6192, Nº 5, 1985, págs. 191-197
Extensiones del sistema l3 de lógica trivalente
Jaime Sarabia Álvarez-Ude
Tesis doctoral dirigida por José Hierro Sánchez-Pescador (dir. tes.). Universidad Complutense de Madrid (1981).
De la objetividad: Una aplicación crítica de la teoría de la traducción de Quine
Tesis doctoral dirigida por Jaime Sarabia Álvarez-Ude (dir. tes.). Universidad Complutense de Madrid (1998).
Diseño e implementación de un sistema de análisis documental automático
Tesis doctoral dirigida por Jaime Sarabia Álvarez-Ude (dir. tes.). Universidad Complutense de Madrid (1995).
Tesis doctoral dirigida por Jaime Sarabia Álvarez-Ude (dir. tes.). Universidad Complutense de Madrid (1994).
Referencia, verdad y realidad: sobre realismo y anti-realismo
Tesis doctoral dirigida por Jaime Sarabia Álvarez-Ude (dir. tes.). Universidad Complutense de Madrid (1989).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados