Llistar TÃtols
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:

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

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