Geodesic

Volume 98 (2004) no. 1

Sommaire

Verificación del Análisis formal de conceptos.
Taclets: un nuevo paradigma para construir demostradores automáticos interactivos.
Satisfacibilidad y equiparación en grafos bipartitos: relaciones y tratabilidad.
Hacia la síntesis automática de un algoritmo de bases de Gröbner.
Abstracción orientada a agentes.
Taxonomía numérica: un eslabón perdido para el razonamiento basado en casos y agentes autónomos.
Cocktail: una herramienta para obtener programas correctos.
Hipersecuentes y lógica borrosa.
Especificación en Z de programas orientados a objetos con restricciones.
Inducción y procedimientos de decisión.
Algunos problemas claves de investigación en la demostración mecánica de teoremas para la verificación de hardware y software.
Rough set data representation using binary decision diagrams.
Sobre fibrados lógicos y deducción automática en lógicas multi-valuadas usando bases de Gröbner.
Un sistema de detección de conflictos para A-SMGCS independiente de la topología del área terminal basado en GB.
Separación de raíces p-ádicas.
Sobre implicaciones MPT en la lógica borrosa.