SABER UCV: Buscando en DSpace

	Página de inicio

Listar
	Comunidades
	Fecha Publicación
	Autor
	Título
	Materia

Servicios
	Alertas
	Mi DSpace usuarios autorizados
	Editar perfil


	Sobre DSpace

Buscar por Autor Salas Oliveros, Jorge Filadelfo

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

O introducir las primeras letras:

Mostrando resultados 1 a 1 de 1

Fecha de publicación	Título	Autor(es)
2008	Utilización de un asistente Coq para la demostración de teoremas en la teoría de lenguajes formales y síntesis de programas	Salas Oliveros, Jorge Filadelfo

Mostrando resultados 1 a 1 de 1