Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem

Teoremes -- Demostració automà tica Logic programming Fuzzy logic Programació lògica Sistemes borrosos Lògica difusa Automatic theorem proving

Và zquez, Carlos Bofill Arasa, Miquel Almendros-Jiménez, Jesús M. Ministerio de EconomÃa y Competitividad (Espanya) Almendros-Jimenez, Jesùs M. Villaret i Ausellé, Mateu Moreno, Ginès