OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Query: COMPUTER VISION Year: 2012 Year: 2003 Repository: 30

Sort by Score Title Year -

1-4 from 4 results (0.011 seconds)

Title: Verificación formal en ACL2 del algoritmo de Buchberger / Formal verification of Buchberger's algorithm in ACL2
Author: Medina Bulo, Inmaculada
Language: Español
Repository: 30
Subject: computer science / mathematics / ciencia de la computación / matemáticas / artificial intelligence / inteligencia artificial

AccederAcceder
Title: Investigaciones sobre gramáticas categoriales: Algoritmos de parsing y equivalencia entre formalismos / Investigations on categorial grammars: Parsing algorithms and equivalence of formalisms
Author: Jiménez Millán, José Antonio
Language: Español
Repository: 30
Subject: language, linguistics / computer science / lingüística / informática

AccederAcceder
Title: Aplicación de técnicas quimiométricas a la resolución de señales electroquímicas solapadas / Application of chemometric techniques to the resolution of overlapped electrochemical signals
Author: Palacios Santander, José María
Language: Español
Repository: 30
Subject: chemistry, analytical / computer science / química analítica / informática

AccederAcceder
Title: Los senados locales y sus miembros en las ciudades hispanas desde sus orígenes hasta el siglo IV / The local senates and its members in the Hispanian cities from its origins to the fourth century
Author: Galeano Domínguez, Ana María
Language: Español
Repository: 30
Subject: History, Ancient / Historia antigua

AccederAcceder

« Previous 1 Next »