Teoremes -- Demostració automàtica

Listing items with Subject "Teoremes -- Demostració automàtica"

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 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 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