| 000 | 01079nam0a2200325 4500 | ||
|---|---|---|---|
| 001 | 141189 | ||
| 005 | 20231029185116.0 | ||
| 010 | _a3540405593 | ||
| 035 | _a(RuTPU)RU\TPU\book\153039 | ||
| 090 | _a141189 | ||
| 100 | _a20080805d2003 k y0engy50 ba | ||
| 101 | 0 | _aeng | |
| 102 | _aDE | ||
| 105 | _ay z 101zy | ||
| 200 | 1 |
_aAutomated Deduction - CADE-19 _e19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28-August 2, 2003 Proceedings _fпод ред. F. Baader |
|
| 210 |
_aBerlin _cSpringer-Verlag _d2003 |
||
| 215 | _a502 p. | ||
| 320 | _aReferences at the end of chapters. | ||
| 320 | _aIndex: p. 503. | ||
| 610 | 1 | _aпрограммирование | |
| 610 | 1 | _aматематика | |
| 610 | 1 | _aматематическое программирование | |
| 610 | 1 | _aтеория | |
| 610 | 1 | _aконференции | |
| 610 | 1 | _aанглийский язык | |
| 675 |
_a519.85(063) _v3 |
||
| 702 | 1 |
_aBaader _bF. _gFranz _4340 |
|
| 801 | 1 |
_aRU _b63413507 _c20080805 _gPSBO |
|
| 801 | 2 |
_aRU _b63413507 _c20080918 _gPSBO |
|
| 942 | _cBK | ||