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

Publicaciones en la fuente Lógica formal: Orígenes, métodos y aplicaciones

Tipo Año Título Fuente
Capítulo1995Algoritmos y computabilidadLógica formal: Orígenes, métodos y aplicaciones
Capítulo1995Introducción a la teoría de la complejidadLógica formal: Orígenes, métodos y aplicaciones
Capítulo1995Lógica formal elementalLógica formal: Orígenes, métodos y aplicaciones
Libro1995Lógica formal: Orígenes, métodos y aplicacionesLógica formal: Orígenes, métodos y aplicaciones
Capítulo1995Lógica y análisis del lenguaje naturalLógica formal: Orígenes, métodos y aplicaciones
Capítulo1995Razonamiento automáticoLógica formal: Orígenes, métodos y aplicaciones