Automatic theorem proving

Listing items with Subject "Automatic theorem proving"

4 items found

Showing titles from 0 to 4:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
out url icon Recercat Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 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
out url icon Recercat 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
doc icon DUGiDocs 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
  1   

Subjects

Authors