Browse by Title
90 items found
Showing titles from 75 to 90:
Format | Date | Title | Author |
---|
Format | Date | Title | Author |
|
2010 October 8 |
Sessions per a mestres sobre l’ensenyament de les correspondències matemà tiques de qualitat i quantitat [8-10-2010] |
Canals, Maria Antònia
|
|
2010 October 8 |
Sessions per a mestres sobre l’ensenyament de les correspondències matemà tiques de qualitat i quantitat [8-10-2010] |
Canals, Maria Antònia
|
|
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
|
|
|
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
|
|
|
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
|
|
1989 November |
Un Sistema obert: semà ntica i lògica |
Ferrater Mora, Josep
|
|
2018 November 15 |
SMT techniques for planning problems |
Espasa Arxer, Joan
|
|
2015 November 12 |
Taula rodona: la lògica borrosa, ahir i demà |
Terricabras, Josep Maria
; Trillas, Enric
; Alsina, Claudi
|
|
2013 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
2018 June 1 |
A Variant of Higher-Order Anti-Unification |
|
|
2018 June 5 |
A Variant of Higher-Order Anti-Unification |
Baumgartner, Alexander
; Kutsia, Temur
; Levy, Jordi
; Villaret i Ausellé, Mateu
|
|
|
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
|
|
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
|