000 | 02414nam a22003735i 4500 | ||
---|---|---|---|
001 | 305997 | ||
003 | MX-SnUAN | ||
005 | 20160429160014.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2012 gw | o |||| 0|eng d | ||
020 |
_a9783642287176 _99783642287176 |
||
024 | 7 |
_a10.1007/9783642287176 _2doi |
|
035 | _avtls000358842 | ||
039 | 9 |
_a201509031017 _bVLOAD _c201405070237 _dVLOAD _y201402191541 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA76.758 | |
100 | 1 |
_aBjørner, Nikolaj. _eeditor. _9343278 |
|
245 | 1 | 0 |
_aLogic for Programming, Artificial Intelligence, and Reasoning : _b18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings / _cedited by Nikolaj Bjørner, Andrei Voronkov. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
300 |
_axI, 446 páginas _brecurso en línea. |
||
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 ; _v7180 |
|
500 | _aSpringer eBooks | ||
520 | _aThis book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aVoronkov, Andrei. _eeditor. _9328966 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783642287169 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-28717-6 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c305997 _d305997 |