DUGi: Llistar Títols | Villaret i Ausellé, Mateu

Llistar Títols per Autor "Villaret i Ausellé, Mateu"

S'han trobat 54 ítems

Llistant ítems des de 0 a 25:

1 2 3

Format	Data	Títol	Autor
Format	Data	Títol	Autor
		Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem	Garcia Oliveras, Marc
		Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem	Garcia Oliveras, Marc
	1 juny 2018	Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem
	5 juny 2018	Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem	Garcia Oliveras, Marc
	setembre 2016	Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem	Garcia Oliveras, Marc
	15 febrer 2020	Analysis of a MaxSAT approach of the B2B Scheduling Optimization Problem	Garcia Oliveras, Marc
		Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
		Anti-unification for unranked terms and hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	5 juny 2018	Anti-unification for unranked terms and hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	2011	Anti-Uniﬁcation for Unranked Terms and Hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	febrer 2014	Anti-unification for unranked terms and hedges	Kutsia, Temur ; Levy, Jordi ; Villaret i Ausellé, Mateu
	1 setembre 2018	Aplicació per al càlcul de propostes de trasplantament creuat de ronyó amb donant viu considerant fallades de darrera hora	Soldevila Sala, Eloi
		Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
	1 juny 2016	Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers	Ansótegui, Carlos ; Bofill Arasa, Miquel ; Manyà, Felip ; Villaret i Ausellé, Mateu
	3 setembre 2024	Closing	Bofill, Miquel ; Villaret i Ausellé, Mateu
	2010	An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
		An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
		An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
	5 juny 2018	An Efficient Nominal Unification Algorithm	Levy, Jordi ; Villaret i Ausellé, Mateu
	setembre 2011	Eina per a generar l’assignació docent d’un centre	Vila i Moreno, Adrià
		Eina per a generar l’assignació docent d’un centre	Vila i Moreno, Adrià
	juny 2017	Entorn de visualització i resolució de puzles tipus Cococrash	Toledo Román, José Manuel
	2009	Experimental analysis of optimization techniques on the road passenger transportation problem	López Ibáñez, Beatriz ; Muñoz Solà, Víctor ; Murillo Espinar, Javier ; Barber, Federico ; Salido, Miguel A. ; Abril, Montserrat ; Cervantes, Mariamar ; Caro Pérez, Luis Fernando ; Villaret i Ausellé, Mateu
		Experimental analysis of optimization techniques on the road passenger transportation problem	López Ibáñez, Beatriz ; Muñoz Solà, Víctor ; Murillo Espinar, Javier ; Barber, Federico ; Salido, Miguel A. ; Abril, Montserrat ; Cervantes, Mariamar ; Caro Pérez, Luis Fernando ; Villaret i Ausellé, Mateu

1 2 3

DUGi

Portal de cerca conjunta als documents digitals de la UdG

Llistar Títols per Autor "Villaret i Ausellé, Mateu"

Matèries

Autors