DUGi: Llistar Títols | (dc.creator:"Bofill Arasa, Miquel" OR dc.contributor:"Bofill Arasa, Miquel" OR dc.contributor.other:"Bofill Arasa, Miquel")

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.creator:"Bofill Arasa, Miquel" OR dc.contributor:"Bofill Arasa, Miquel" OR dc.contributor.other:"Bofill Arasa, Miquel") | 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

Logic, Symbolic and mathematical Automatic theorem proving Tesis i dissertacions acadèmiques Applied logic Numeric planning Satisfactibilitat booleana Satisfactibilitat mòdul teories

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

Luna-Tedesqui, Alejandro Moreno, Ginès Oliveras Llunell, Albert Albert, Elvira Almendros-Jiménez, Jesús M. Martín-Martín, Enrique Nightingale, Peter

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

DUGi

Portal de cerca conjunta als documents digitals de la UdG

Llistar Títols

Matèries

Autors