El Catálogo Colectivo reúne los registros del material que posee cada una de las
bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones
especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una
amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad.
Se encuentra disponible para toda la comunidad académica: estudiantes, docentes,
egresados e investigadores.
Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material,
a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario,
independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra
que dictes.
|a Information flow : the logic of distributed systems /
|c Jon Barwise, Jerry Seligman.
260
|a Cambridge :
|b Cambridge University Press,
|c 1997.
300
|a xv, 274 p. ;
|c 24 cm
490
0
|a Cambridge Tracts in Theoretical Computer Science ;
|v 44
500
|a Bibliografía: p. 268-269
505
0
|a Information flow. Information channels. A simple distributed system. Classifications and infomorphisms. Operations on classifications. Distributed systems. Boolean operations and classifications. State spaces. Regular theories. Operations on theories. Boolean operations and theories. Local logics. Reasoning at a distance. Representing local logics. Distributed logics. Logics and state spaces. Speech acts. Vagueness. Commonsense reasoning. Representation. Quantum logic