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
: Statistics for Life Sciences
Autor/Editor
: Tim Prizeman
Autor/Editor
: Cong, Fengyu
Keyword
: Environmental Health
Keyword
: Developmental Psychology
Autor/Editor
: Bagdasar, Ovidiu
Keyword
: Religious Studies
Autor/Editor
: Combemale, Benoît
Autor/Editor
: Weil, Pascal
Autor/Editor
: Hoßfeld, Tobias
Autor/Editor
: Platzer, André
Autor/Editor
: Inomata, Atsuo
Autor/Editor
: Liu, Chenglin
Autor/Editor
: Mahmoud, Sayed
Autor/Editor
: Pánek, Tomáš
Autor/Editor
: Yueming, Lu
Autor/Editor
: Robshaw, Matthew
Autor/Editor
: Perez, Pascal
Autor/Editor
: Scheunders, Paul
Autor/Editor
: Altić, Mirela
1/1
Logic, Rationality, and Interaction
Autor/Editor:
Grossi, Davide
-
Roy, Olivier
-
Huang, Huaxin
Año de edición:
2013
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-642-40948-6
Idioma:
inglés
Colección:
Computación
Keywords:
Mathematical Logic and Formal Languages
-
Mathematical Logic and Foundations
-
Discrete Mathematics in Computer Science
-
Symbolic and Algebraic Manipulation
-
Logics and Meanings of Programs
-
Theory of Computation
Título de la Serie:
Lecture Notes in Computer Science
Tipo de documento:
Reunión
Editor:
Springer Berlin Heidelberg
ISBN-e:
978-3-642-40948-6
ISSN-e:
1611-3349