Automatic theorem proving
Listing items with Subject "Automatic theorem proving"
4 items found
Showing titles from 0 to 4:
| Format | Date | Title | Author |
|---|
| Format | Date | Title | Author |
|---|
|
|
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers |
Ansótegui, Carlos
; Bofill Arasa, Miquel
; Manyà , Felip
; Villaret i Ausellé, Mateu
|
|
2016 June 1 |
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
|
|
|
2015 January 1 |
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
|
