DUGi: Llistar Títols | (dc.creator:"Ansótegui, Carlos" OR dc.contributor:"Ansótegui, Carlos" OR dc.contributor.other:"Ansótegui, Carlos")

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:"Ansótegui, Carlos" OR dc.contributor:"Ansótegui, Carlos" OR dc.contributor.other:"Ansótegui, Carlos") | 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 Teoremes -- Demostració automàtica CSP (Llenguatge de programació) Automatic theorem proving Algorismes computacionals Computer algorithms Lògica matemàtica

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

Ansótegui, Carlos Bofill Arasa, Miquel Generalitat de Catalunya. Agència de Gestió d’Ajuts Universitaris i de Recerca Ministerio de Educación y Ciencia (Espanya) Suy Franch, Josep Palahí i Sitges, Miquel Villaret i Ausellé, Mateu

Warning: fopen(/dades/dugi/cache/7add9dba56ab126e4cdca0a0d686e781_.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