Busquedas:
- Autor/Editor: Conley, Daniel J.
- Autor/Editor: Bacciotti, Francesca
- Autor/Editor: Cheng, Yu
- Keyword: Geology
- Autor/Editor: Webb, Eleanore
- Autor/Editor: Dillon, M.
- Autor/Editor: Rodwell, D.
- Keyword: Environmental Economics
- Autor/Editor: Gupta, Gopal
- Autor/Editor: Gao, Yue
- Keyword: Personal Computing
- Autor/Editor: Tassi, Franco
- Autor/Editor: Demange, Marc
- Autor/Editor: Marder, Todd B.
- Autor/Editor: Salgarelli, Luca
- Keyword: Discrete Mathematics in Computer Science
1/1
Logic, Rationality, and Interaction
Autor/Editor: Hoek, Wiebe van der - Holliday, Wesley H. - Wang, Wen-Fang
Año de edición: 2015
Acceso: UBA
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
Título de la Serie: Lecture Notes in Computer Science
Vol.No.: 9394
Tipo de documento: Monografía
Editor: Springer Berlin Heidelberg
ISBN-e: 978-3-662-48561-3
ISSN-e: 1611-3349