000 | 01080nam a2200277 a 4500 | ||
---|---|---|---|
001 | 251946 | ||
999 |
_c251946 _d251946 |
||
003 | TH-BaBU | ||
005 | 20250302081307.0 | ||
008 | 930616s1996 mau b 001 0 eng d | ||
020 | _a9780262132954 | ||
020 | _a9780262279253 (electronic bk.) | ||
040 |
_aDLC _cTH-BaBU |
||
041 | 1 |
_aeng _hrus |
|
050 | 0 | 0 |
_aQA242 _b.M4213 1996 |
100 | 1 |
_aMatii︠a︡sevich, I︠U︡. V. _q(I︠U︡riĭ V.) _9156851 |
|
240 | 1 | 0 |
_aDesi︠a︡tai︠a︡ problema Gilʹberta. _lEnglish _h[electronic resource] |
245 | 1 | 0 |
_aHilbert's tenth problem _h[electronic resource] / _cYuri V. Matiyasevich ; with a foreword by Martin Davis. |
260 |
_aCambridge, Mass. : _bMIT Press, _c1996. |
||
300 | _a1 online resource. | ||
490 | 0 | _aFoundations of computing | |
504 | _aIncludes bibliographical references and indexes. | ||
650 | 0 |
_aHilbert's tenth problem. _9156852 |
|
650 | 0 |
_aComputable functions. _940073 |
|
856 | 4 | 1 |
_uhttp://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=48768&site=ehost-live&scope=site _zElectronic Resources |
942 |
_2lcc _cEB |