Biblioteca Digital
Depositar
Políticas
Formularios
Eventos
Colecciones
Tesis de Posgrado
Tesis de Grado
Trabajos Finales
Artículos
Programas
Publicaciones
Reportes Técnicos
Libros
Archivo
Fotografías
Archivo Oral de la Memoria - EXACTAS UBA
Publicaciones
Exactamente
La Ménsula
Anales AFA
El Hornero
Ecología Austral
El Cable
QED
QuimicaViva
Chemia
Holmbergia
Biblioteca Digital Exactas
Tesis de Grado
Todo
Texto
Título
Autor
Fecha
Colaboradores
Tema
Resumen
Navegar
Últimos publicados
Autor
Año
Título Obtenido - Año
Departamento - Año
Director y Director Asistente
Jurado
Consejero de Estudios
Palabras Clave
hidden
Colección
Datos
Estadísticas
Lista de
4
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
DEMOSTRACION (SEMI) AUTOMATICA DE TEOREMAS
1
Rosner, Nicolás
. (2006).
"ParAlloy una implementación paralelay distribuida para DynAlloy"
. Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274
Biblioteca
Campus Virtual
Trámites
Intranet
Webmail
Contacto
UBA
