| 000 | 01199nam a2200289zi 4500 | ||
|---|---|---|---|
| 005 | 20220221131604.0 | ||
| 008 | 060317s2005 gw a 100 0 eng d | ||
| 020 | _a3540252363 | ||
| 035 | _aMX001001060492 | ||
| 040 |
_aUNAMX _bspa _cUNAMX _dUNAMX |
||
| 050 | 4 |
_aQA76.63 _bI57 2004 |
|
| 111 | 2 |
_aLPAR (Conferencia) _n(11 : _d2005 : _cMontevideo, Uruguay) |
|
| 245 | 1 | 0 |
_aLogic for programming artificial intelligence and reasoning : _b11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings / _cFranz Baade, Andrei Virinkov, eds. |
| 246 | 0 | 3 | _aLPAR 2003 |
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2005 |
|
| 300 |
_axi, 562 páginas : _bilustraciones |
||
| 490 | 0 |
_aLecture notes in computer science, _v3452. _pLecture notes in artificial intelligence |
|
| 650 | 4 |
_aProgramación lógica _vCongresos |
|
| 650 | 4 |
_aDemostración automática de teoremas _vCongresos |
|
| 700 | 1 |
_aBaader, Franz, _eeditor |
|
| 700 | 1 |
_aVoronkov, A. _q(Andrei), _d1959- _eeditor |
|
| 830 | 0 |
_aLecture notes in computer science _x0302-9743 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c17307 _d17307 |
||