Mostrando
1 - 2
Resultados de
2
Para Buscar '
Giesl, Jürgen
'
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
Giesl, Jürgen
Skip recommendations
Mostrando
1 - 2
Resultados de
2
Para Buscar '
Giesl, Jürgen
'
, tiempo de consulta: 0.02s
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
Signatura
Autor
Título
Herramientas de búsqueda:
Suscríbete a esta búsqueda
1
Cargando…
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
Publicado 2010
Otros Autores:
“…
Giesl, Jürgen
…”
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto Completo
Electrónico
eBook
Código QR
2
Cargando…
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
Publicado 2005
Otros Autores:
“…
Giesl, Jürgen
…”
Clasificación:
Cargando…
Ubicación:
Cargando…
Texto Completo
Electrónico
eBook
Código QR
Temas relacionados
Artificial Intelligence
Artificial intelligence
Computer Science Logic and Foundations of Programming
Computer science
Formal Languages and Automata Theory
Machine theory
Compilers (Computer programs)
Compilers and Interpreters
Computer System Implementation
Computer programming
Computer science-Mathematics
Computer systems
Logic Design
Logic design
Programming Techniques
Symbolic and Algebraic Manipulation
