Llistar Títols

S'han trobat 35 ítems

Llistant ítems des de 25 a 35:

  1  2   
FormatDataTítolAutor
FormatDataTítolAutor
doc icon DUGiDocs 2009 SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
out url icon Recercat SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
out url icon Recercat SIMPLY: a Compiler from a CSP Modeling Language to the SMT-LIB Format Bofill Arasa, Miquel ; Palahí i Sitges, Miquel ; Suy Franch, Josep ; Villaret i Ausellé, Mateu
doc icon DUGiDocs 2013 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat 1 juny 2018 A Variant of Higher-Order Anti-Unification
out url icon Recercat 5 juny 2018 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander ; Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
out url icon Recercat A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert
doc icon DUGiDocs 2008 A Write-Based Solver for SAT Modulo the Theory of Arrays Bofill Arasa, Miquel ; Nieuwenhuis, Robert ; Oliveras Llunell, Albert ; Rodríguez Carbonell, Enric ; Rubio, Albert
  1  2   

Matèries

Autors


Warning: Unknown: write failed: No space left on device (28) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0