Cover Image

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /

This book collects the papers presented at the 4th International Workshop on Logic, Rationality and Interaction/ (LORI-4), held in October 2013 at the /Center for the Study of Language and Cognition, Zhejiang University, Hangzhou, China. LORI is a series that brings together researchers from a varie...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Grossi, Davide. (Editor, http://id.loc.gov/vocabulary/relators/edt), Roy, Olivier. (Editor, http://id.loc.gov/vocabulary/relators/edt), Huang, Huaxin. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:1st ed. 2013.
Series:Theoretical Computer Science and General Issues ; 8196
Subjects:
Mathematical logic.
Computer science—Mathematics.
Computer logic.
Computers.
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.
Online Access:https://doi.org/10.1007/978-3-642-40948-6

Internet

https://doi.org/10.1007/978-3-642-40948-6

Similar Items