Mostrando
1 - 1
Resultados de
1
Para Buscar '
Miculan, Marino
'
Saltar al contenido
Login
Menu
0
elementos
(Completo)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Idioma
Inglés
Español
Francés
Galego
Términos de búsqueda
Todos los Campos
Título
Autor
Tema
Clasificación
ISBN/ISSN
Etiqueta
Buscar
Búsqueda Avanzada
Autor
Miculan, Marino
Skip recommendations
Mostrando
1 - 1
Resultados de
1
Para Buscar '
Miculan, Marino
'
, tiempo de consulta: 0.01s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Types for Proofs and Programs International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers /
Publicado 2008
Otros Autores:
“…
Miculan, Marino
…”
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto Completo
Electrónico
eBook
Código QR
Temas relacionados
Artificial Intelligence
Artificial intelligence
Compilers (Computer programs)
Compilers and Interpreters
Computer Science Logic and Foundations of Programming
Computer science
Computer science-Mathematics
Formal Languages and Automata Theory
Machine theory
Software Engineering
Software engineering
Symbolic and Algebraic Manipulation