Buscar
Avanzada
Historial
Buscar Por:
Título
Autor/Editor
Todas las colecciones
Antropología
Arquitectura y diseño
Astronomía y astrofísica
Bibliotecología y Ciencia de la Información
Ciencia Política
Ciencias agrarias
Ciencias de la tierra y del espacio
Ciencias de la vida
Ciencias de las Artes y de las Letras
Ciencias económicas
Ciencias jurídicas y Derecho
Ciencias médicas
Ciencias tecnológicas
Computación
Demografía
Ética
Filosofía
Física
Geografía
Historia
Ingeniería
Lingüística
Lógica
Matemáticas
Pedagogía
Psicología
Química
Sociología
Colección
Busquedas:
Keyword
: Urbanism
Autor/Editor
: Dutra, Inês
Autor/Editor
: Ermolayev, Vadim
Autor/Editor
: Guttmann, Walter
Autor/Editor
: Filipovic, Nenad
Autor/Editor
: Destercke, Sébastien
Autor/Editor
: Mohanraj, R.
Autor/Editor
: Seyff, Norbert
Autor/Editor
: Scheler, Inga
Autor/Editor
: Goemans, Michel
Autor/Editor
: Sakurai, Yuko
Autor/Editor
: Thirion-Moreau, Nadège
Autor/Editor
: NemÄok, Michal
Autor/Editor
: Lin, Yi-Bing
Autor/Editor
: Nurse, Angus
Autor/Editor
: Argles, David
Autor/Editor
: Issa, Tomayess
Autor/Editor
: Gulisano, Vincenzo
Autor/Editor
: Luo, Xiaoguang
Keyword
: Cell Physiology
Autor/Editor
: Unnithan, Vikram
Autor/Editor
: Barceló, DamiÃ
Autor/Editor
: Schuster, Alfons Josef
Autor/Editor
: Bisgin, Halil
Autor/Editor
: Purnendu, Vasavada C.
Autor/Editor
: Mrokowska, Magdalena Maria
Autor/Editor
: Fan, Chun-I
Autor/Editor
: Kumar, Akhil
Autor/Editor
: Islam, M. Saiful
1/1
Functional and Logic Programming
Autor/Editor:
Schrijvers, Tom
-
Thiemann, Peter
Año de edición:
2012
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-642-29822-6
Idioma:
inglés
Colección:
Computación
Keywords:
Software Engineering
-
Logics and Meanings of Programs
-
Programming Languages
-
Compilers
-
Interpreters
-
Mathematical Logic and Formal Languages
-
Artificial Intelligence (incl. Robotics)
-
Programming Techniques
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
7294
Tipo de documento:
Reunión
Editor:
Springer Berlin Heidelberg
ISBN-e:
978-3-642-29822-6
ISSN-e:
1611-3349