Automatic theorem proving

Listing items with Subject "Automatic theorem proving"

4 items found

Showing titles from 0 to 4:

  1   
FormatDateTitleAuthor
FormatDateTitleAuthor
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 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 2015 January 1 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
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
  1   

Subjects

Authors