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