DUGiDocs
Idioma
català
español
English
Visualitza
Tot el Repositori
Comunitats i col·leccions
Per data de publicació
Autor/a
Títols
Matèries
Aquesta col·lecció
Per data de publicació
Autor/a
Títols
Matèries
Identifica't
Usuaris UdG
Identificació UdG
Usuaris externs
Restablir contrasenya
Cerca en aquesta col·lecció
Recerca
Departament d'In...
Articles publica...
Visualitzant Articles publicats (D-IMAE) per matèria
Visualitzant Articles publicats (D-IMAE) per matèria "Automatic theorem proving"
Ara es mostren els resultats
1
-
2
de
2
Fuzzy XPath for the automatic search of fuzzy formulae models
2015-01-01
Article
Almendros-Jiménez, Jesús M.
Bofill Arasa, Miquel
Luna-Tedesqui, Alejandro
Moreno, Ginès
et al.
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
2016-06-01
Article
Ansótegui, Carlos
Bofill Arasa, Miquel
Manyà, Felip
Villaret i Ausellé, Mateu
Ara es mostren els resultats
1
-
2
de
2
Visualitza
Tot el Repositori
Comunitats i col·leccions
Per data de publicació
Autor/a
Títols
Matèries
Aquesta col·lecció
Per data de publicació
Autor/a
Títols
Matèries
idioma
català
español
English
Contacte
Avís Legal