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:
Autor/Editor
: Zvezdov, Dimitar
Autor/Editor
: Armknecht, Frederik
Autor/Editor
: EliÌas Castells, Xavier
Autor/Editor
: Cui, Weiwei
Autor/Editor
: Cabot, Charlène
Autor/Editor
: Khoussainov, Bakhadyr
Keyword
: Adolescence and Society
Autor/Editor
: Mathian, Hélène
Keyword
: Developmental Psychology
Autor/Editor
: Hein, Matthias
Autor/Editor
: Fan, Xiaopeng
Autor/Editor
: Ahissar, Ehud
Autor/Editor
: Lazić, Ranko
Autor/Editor
: Kitowski, Jacek
Autor/Editor
: Xu, Changsheng
Autor/Editor
: Neubauer, Matthias
Autor/Editor
: Müller, Christian
Autor/Editor
: Davis, Rob
Autor/Editor
: Milutinović, Veljko
Autor/Editor
: Sivaswamy, Jayanthi
Autor/Editor
: Boldini, Pascal
Keyword
: Economic Systems
Keyword
: Biological Networks
Keyword
: Mathematical models
Keyword
: Family
Keyword
: Energy Systems
Keyword
: Cultural and Media Studies
Autor/Editor
: NiÄković, Dejan
Autor/Editor
: Mayes, Robyn
Autor/Editor
: Giard, Pascal
1/1
The Logic of Categorial Grammars
Autor/Editor:
Moot, Richard
-
Retoré, Christian
Año de edición:
2012
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-642-31555-8
Idioma:
inglés
Colección:
Computación
Keywords:
Mathematical Logic and Formal Languages
-
Artificial Intelligence (incl. Robotics)
-
Logics and Meanings of Programs
-
Algorithm Analysis and Problem Complexity
-
Mathematical Logic and Foundations
-
Programming Languages
-
Compilers
-
Interpreters
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
6850
Tipo de documento:
Reunión
Editor:
Springer Berlin Heidelberg
ISBN-e:
978-3-642-31555-8
ISSN-e:
1611-3349