Llistar TÃtols
No s'ha trobat cap Ãtem
No s'ha trobat cap Ãtem
Logic programming Teoremes -- Demostració automà tica Fuzzy logic Lògica matemà tica Lògica difusa Automatic theorem proving Sistemes borrosos
Almendros-Jimenez, Jesùs M. Almendros-Jiménez, Jesús M. Manyà , Felip Villaret i Ausellé, Mateu Và zquez, Carlos Ministerio de EconomÃa y Competitividad (Espanya) Ansótegui, Carlos