Demostració
Llistar TÃtols per Matèria "Demostració"
S'han trobat 10 Ãtems
Llistant Ãtems des de 0 a 10:
| Format | Data | TÃtol | Autor |
|---|
| Format | Data | TÃtol | Autor |
|---|
|
|
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà , Felip
; Villaret i Ausellé, Mateu
|
|
1 juny 2016 |
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà , Felip
; Villaret i Ausellé, Mateu
|
|
|
|
Fuzzy XPath for the automatic search of fuzzy formulae models |
Almendros-Jimenez, Jesùs M.
; Bofill Arasa, Miquel
; Luna-Tedesqui, Alejandro
; Moreno, Ginès
; VÃ zquez, Carlos
; Villaret i Ausellé, Mateu
|
|
|
1 gener 2015 |
Fuzzy XPath for the automatic search of fuzzy formulae models |
Almendros-Jiménez, Jesús M.
; Bofill Arasa, Miquel
; Luna-Tedesqui, Alejandro
; Moreno, Ginès
; VÃ zquez, Carlos
; Villaret i Ausellé, Mateu
|
|
|
21 juliol 2017 |
Robot learning applied to autonomous underwater vehicles for intervention tasks |
Carrera Viñas, Arnau
|
|
|
|
Robot learning applied to autonomous underwater vehicles for intervention tasks |
Carrera Viñas, Arnau
|
|
|
|
Robot learning applied to autonomous underwater vehicles for intervention tasks |
Carrera Viñas, Arnau
|
|
|
|
Robot learning applied to autonomous underwater vehicles for intervention tasks |
Carrera Viñas, Arnau
|
|
|
17 març 2017 |
Sistema d’ajut a la decisió per la selecció de sistemes de sanejament |
Castillo Llorens, Alba
|
|
|
|
Sistema d’ajut a la decisió per la selecció de sistemes de sanejament |
Castillo Llorens, Alba
|
