Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Automatic theorem proving Fuzzy systems Teoremes -- Demostració automà tica Lògica difusa Sistemes borrosos Logic programming Programació lògica
Villaret i Ausellé, Mateu Bofill Arasa, Miquel Luna-Tedesqui, Alejandro Ministerio de EconomÃa y Competitividad (Espanya) Almendros-Jiménez, Jesús M. Almendros-Jimenez, Jesùs M. Và zquez, Carlos