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

Publicaciones en la fuente Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)

Tipo Año Título Fuente
Ponencia1992"Splitting" en fragmentos del máximoLenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)
Ponencia1992Modelos de lenguajes formales con nominalización de predicadosLenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)
Ponencia1992Razonamiento automático en lógica de primer ordenLenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)
Ponencia1992Una aproximación categorial al análisis de la interfaz sintaxis-semántica en el marco de los sistemas deductivos etiquetadosLenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)