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