000 | 02481nam a22003855i 4500 | ||
---|---|---|---|
001 | 305414 | ||
003 | MX-SnUAN | ||
005 | 20160429155949.0 | ||
007 | cr nn 008mamaa | ||
008 | 150903s2012 gw | o |||| 0|eng d | ||
020 |
_a9783642313653 _99783642313653 |
||
024 | 7 |
_a10.1007/9783642313653 _2doi |
|
035 | _avtls000359552 | ||
039 | 9 |
_a201509030615 _bVLOAD _c201405070247 _dVLOAD _y201402191557 _zstaff |
|
040 |
_aMX-SnUAN _bspa _cMX-SnUAN _erda |
||
050 | 4 | _aQA8.9-QA10.3 | |
100 | 1 |
_aGramlich, Bernhard. _eeditor. _9328526 |
|
245 | 1 | 0 |
_aAutomated Reasoning : _b6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings / _cedited by Bernhard Gramlich, Dale Miller, Uli Sattler. |
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
300 |
_axiv, 568 páginas 90 ilustraciones _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 ; _v7364 |
|
500 | _aSpringer eBooks | ||
520 | _aThis book constitutes the refereed proceedings of the 6th International Joint Conference on Automated Reasoning, IJCAR 2012, held in Manchester, UK, in June 2012. IJCAR 2012 is a merger of leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-Order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 32 revised full research papers and 9 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 116 submissions. The papers address all aspects of automated reasoning, including foundations, implementations, and applications. | ||
590 | _aPara consulta fuera de la UANL se requiere clave de acceso remoto. | ||
700 | 1 |
_aMiller, Dale. _eeditor. _9344453 |
|
700 | 1 |
_aSattler, Uli. _eeditor. _9344454 |
|
710 | 2 |
_aSpringerLink (Servicio en línea) _9299170 |
|
776 | 0 | 8 |
_iEdición impresa: _z9783642313646 |
856 | 4 | 0 |
_uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-3-642-31365-3 _zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL) |
942 | _c14 | ||
999 |
_c305414 _d305414 |