| 000 | 01096nam a2200265zi 4500 | ||
|---|---|---|---|
| 005 | 20210817123129.0 | ||
| 008 | 020320c 2000gw 100 0 eng d | ||
| 020 | _a354067697X | ||
| 035 | _aMX001000913344 | ||
| 041 | _aENG | ||
| 050 | 4 |
_aQA76.9A96 _bT33 2000 |
|
| 111 | 2 |
_aTABLEAUX 2000 _d(2000 : _cSt. Andrews, Escocia) |
|
| 245 | 1 | 0 |
_aAutomated reasoning with analytic tableaux and related methods : _bInternational Conference, TABLEAUX 2000, St. Andrews, Scotland, UK, July 3-7, 2000 : proceedings / _cRoy Dyckhoff (ed.) |
| 300 | _a440 páginas | ||
| 490 | 0 |
_aLecture notes in computer science ; _v1847. _pLecture notes in artificial intelligence |
|
| 650 | 4 |
_aTeorema, Comprobacion automatica de _vCongresos |
|
| 650 | 4 |
_aProcesamiento paralelo (Computadoras electrónicas) _vCongresos |
|
| 700 | 1 |
_aDyckhoff, Roy, _d1948- , _eeditor |
|
| 830 |
_aLecture notes in computer science _x 0302-9743 |
||
| 264 | 1 |
_aBerlin : _bSpringer Verlag, _cc2000 |
|
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 999 |
_c34580 _d34580 |
||