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:
Logic programming Fuzzy systems Teoremes -- Demostració automà tica Sistemes borrosos Programació lògica Lògica difusa Automatic theorem proving
Almendros-Jimenez, Jesùs M. Luna-Tedesqui, Alejandro Bofill Arasa, Miquel Moreno, Ginès Ministerio de EconomÃa y Competitividad (Espanya) Và zquez, Carlos Almendros-Jiménez, Jesús M.