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