DUGi: Llistar Títols | dc.subject:"Satisfiability modulo theories"

Warning: error_log(/dades/dugi/log//querys.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32
DUGi: Llistar Títols | dc.subject:"Satisfiability modulo theories" | 0 -

Llistar Títols

No s'ha trobat cap ítem

Matèries

Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

Satisfactibilitat mòdul teories Reformulation Automated planning Numeric planning Planificació automàtica Planificación automática Scheduling

Autors

Warning: error_log(/dades/dugi/log//dugi.log) [function.error-log]: failed to open stream: Read-only file system in /dades/dugi/lib/log/log.php on line 32

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

Warning: fopen(/dades/dugi/cache/06066dd5692c7083498456100f7bc4f7_.html) [function.fopen]: failed to open stream: Read-only file system in /dades/dugi/end_cache.php on line 2

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

DUGi

Portal de cerca conjunta als documents digitals de la UdG

Llistar Títols

Matèries

Autors