000			02007nam a22003735i 4500
001			322874
003			MX-SnUAN
005			20160429161617.0
007			cr nn 008mamaa
008			160111s2015 gw | s |||| 0|eng d
020			_a9783319247045 _9978-3-319-24704-5
035			_avtls000422638
039		9	_y201601111027 _zstaff
050		4	_aQA75.5-76.95
245	1	0	_aRelational and algebraic methods in computer science : _b15th international conference, ramics 2015, braga, portugal, september 28 - october 1, 2015, proceedings / _cedited by Wolfram Kahl, Michael Winter, José Oliveira.
250			_a1st ed. 2015.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2015.
300			_ax, 395 páginas : _b51 ilustraciones
336			_atexto _btxt _2rdacontent
337			_acomputadora _bc _2rdamedia
338			_arecurso en línea _bcr _2rdacarrier
347			_aarchivo de texto _bPDF _2rda
490	0		_aLecture Notes in Computer Science, _x0302-9743 ; _v9348
500			_aSpringer eBooks
505	0		_aTheory of relation algebras and Kleene algebras -- Process algebras -- Fixed point calculi -- Idempotent semirings -- Quantales, allegories, and dynamic algebras.-  Cylindric algebras -- Application in areas such as verification.-Analysis and development of programs and algorithms -- Algebraic approaches to logics of programs -- Modal and dynamic logics -- Interval and temporal logics.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aKahl, Wolfram, _eeditor. _9345567
700	1		_aWinter, Michael, _eeditor. _9310846
700	1		_aOliveira, José, _eeditor. _9106165
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319247038
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-24704-5 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c322874 _d322874