000			02638nam a22003615i 4500
001			316572
003			MX-SnUAN
005			20160429160944.0
007			cr nn 008mamaa
008			160108s2014 gw | s |||| 0|eng d
020			_a9783319080192 _9978-3-319-08019-2
035			_avtls000417625
039		9	_y201601081143 _zstaff
050		4	_aQA75.5-76.95
245	1	0	_aLanguage, life, limits : _b10th conference on computability in europe, cie 2014, budapest, hungary, june 23-27, 2014. Proceedings / _cedited by Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer.
264		1	_aCham : _bSpringer International Publishing : _bSpringer, _c2014.
300			_axiv, 410 páginas : _b33 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 ; _v8493
500			_aSpringer eBooks
505	0		_aHow can Grammatical Inference Contribute to Computational Linguistics? -- Algorithms and Their Explanations -- Gene Tree Correction by Leaf Removal and Modification: Tractability and Approximability -- Uniform Schemata for Proof Rules -- Graph Polynomials Motivated by Gene Rearrangements in Ciliates -- On the Equivalence of Automata for KAT-expressions -- Algorithmic Randomness for Infinite Time Register Machines -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism in Membrane Systems with Generated Membrane Boundaries -- Learnability Thesis Does Not Entail Church’s Thesis -- Phase Transitions Related to the Pigeonhole Principle -- Generic Parallel Algorithms -- Fit-Preserving Data Refinement of Mass-Action Reaction Networks -- On Maximal Block Functions of Computable ?-like Linear Orderings -- Lossiness of Communication Channels Modeled by Transducers -- Predicate Characterizations in the Polynomial-Size Hierarchy -- Function Spaces for Second-Order Polynomial Time -- Complexity of Operation Problems.
590			_aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700	1		_aBeckmann, Arnold, _eeditor. _9330555
700	1		_aCsuhaj-Varjú, Erzsébet, _eeditor. _9332778
700	1		_aMeer, Klaus, _eeditor. _9359796
710	2		_aSpringerLink (Servicio en línea) _9299170
776	0	8	_iEdición impresa: _z9783319080185
856	4	0	_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-319-08019-2 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942			_c14
999			_c316572 _d316572