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
: Crothers, D.S.F.
Autor/Editor
: Erko, Alexei
Autor/Editor
: Shou, Biying
Autor/Editor
: Merle, A.
Autor/Editor
: Popescu, Aurel
Autor/Editor
: Ansorge, R
Autor/Editor
: Dutta, Kaushik
Keyword
: Men
Autor/Editor
: Borsali, Redouane
Autor/Editor
: Tchelnokov, Alexei
Autor/Editor
: Yamani, Hashim A.
Autor/Editor
: Shafranov, Vitalii Dmitrievich
Autor/Editor
: Mathai, A. M.
Autor/Editor
: Nicrosini, Oreste
Autor/Editor
: Conte, Robert
Autor/Editor
: Beeson, Steven
Autor/Editor
: Petz, Dénes
Autor/Editor
: Meijer, Sebastiaan
Autor/Editor
: Becker, Uwe
Autor/Editor
: Meghwal, Murlidhar
Autor/Editor
: Andersen, Marilyne
Autor/Editor
: Webb, J R
Autor/Editor
: Skutella, Martin
Autor/Editor
: Liu, Chuanlu
Autor/Editor
: Pak, Namik Kemal
Keyword
: Cultural Policy
Autor/Editor
: Caner, Alessandra
Autor/Editor
: Meinel, Gotthard
Autor/Editor
: Giunchiglia, Fausto
Autor/Editor
: Strocchi, Franco
1/1
Categories and Types in Logic, Language, and Physics
Autor/Editor:
Casadio, Claudia
-
Coecke, Bob
-
Moortgat, Michael
-
Scott, Philip
Año de edición:
2014
Acceso:
UBA
URL:
http://dx.doi.org/10.1007/978-3-642-54789-8
Idioma:
inglés
Colección:
Computación
Keywords:
Computer Science
-
general
-
History of Computing
-
Logics and Meanings of Programs
-
Computation by Abstract Devices
-
Mathematical Logic and Formal Languages
Título de la Serie:
Lecture Notes in Computer Science
Vol.No.:
8222
Tipo de documento:
Reunión
Editor:
Springer
ISBN-e:
978-3-642-54789-8
ISSN-e:
1611-3349