Showing
1 - 2
results of
2
for search '
Giesl, Jürgen
'
Skip to content
Login
Menu
0
items
(Full)
Servicios para Alumnos
Servicios para Académicos
Recupera tu NIP
Mis Préstamos y Multas
Language
Inglés
Español
Francés
Galego
Search terms
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Search
Advanced
Author
Giesl, Jürgen
Skip recommendations
Showing
1 - 2
results of
2
for search '
Giesl, Jürgen
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Search Tools:
Suscríbete a esta búsqueda
1
Loading…
Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /
Published 2010
Other Authors:
“…
Giesl, Jürgen
…”
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
2
Loading…
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
Published 2005
Other Authors:
“…
Giesl, Jürgen
…”
Call Number:
Loading…
Located:
Loading…
Texto Completo
Electronic
eBook
QR Code
Related Subjects
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