Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)

Tipo Año Título Fuente
Ponencia1994Aplicación de la lógica temporal proposicional para la representación y deducción de conocimientos temporalesLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994Automatización de la aritméticaLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994Estructuras de datos y algoritmos para un modelo constructivo de unificación de rasgosLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994La interpretación de las normas: lógica deóntica y sistemas modales mixtosLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994O2RTED: la orientación a objetos y la dirección por eventos aplicadas al análisis sintáctico en tiempo realLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994Prueba por consistencia de teoremas inductivos: inducción sin inducciónLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994Resultative and depictive constructions in English: an LFG-based approach for machine translationLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994Semántica fregeana de lenguajes de segundo ordenLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Ponencia1994Transición de la descripción de un sistema en lenguaje natural a su formalizaciónLenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)