Using modal logic to define strategies in model-based diagnosis

• Autores: Michael Schroeder, Peter Fröhlich, Wolfgang Nejdl
• Localización: The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995 / coord. por Joaquín Borrego Díaz, Francisco José Salguero Lamillar, 1997, ISBN 84-88620-08-X, págs. 31-33
• Idioma: inglés
• Texto completo no disponible (Saber más ...)