DUGi: Llistar Títols | dc.subject:"Logic, Symbolic and mathematical" | 25 - 34

Llistar Títols

S'han trobat 34 ítems

Llistant ítems des de 25 a 34:

1 2

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		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
	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
	1 juny 2018	A Variant of Higher-Order Anti-Unification
	5 juny 2018	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

1 2

Matèries

Algorismes computacionals Computer algorithms Computer science -- Mathematics -- Computer-assisted instruction Conjunts, Teoria de -- Ensenyament Logic, Symbolic and mathematical -- Computer-assisted instruction Matemàtica -- Ensenyament Logic, Symbolic and mathematical -- Congresses

Autors

Godo i Lacasa, Lluís Villaret i Ausellé, Mateu Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca Villaret i Ausellé, Mateu Levy, Jordi Kutsia, Temur Ministerio de Economía y Competitividad (Espanya)