DUGi: Llistar Títols | Applied logic | 0 - 1

Llistar Títols per Matèria "Applied logic"

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	15 novembre 2018	SMT techniques for planning problems	Espasa Arxer, Joan

1

Matèries

004 - Informàtica 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica Numeric planning Planificació automàtica Planificació numèrica Planificación numérica SMT

Autors

Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Espasa Arxer, Joan Villaret i Ausellé, Mateu Bofill Arasa, Miquel