| |
|
|
02172cz a2200445n 4500 |
|
| 001 |
|
|
vtls000429217 |
|
| 003 |
|
|
NUKAT |
|
| 005 |
|
|
20191115002048.0 |
|
| 008 |
|
|
970514n||a|nnnabbn |a aaa |c |
|
| 010 |
|
|
$a n 97028488 |
|
| 024 |
7 |
|
$a http://viaf.org/viaf/24753185 $2 uri |
|
| 024 |
7 |
|
$a http://isni.org/isni/0000000116092497 $2 uri |
|
| 024 |
7 |
|
$a https://www.wikidata.org/wiki/Q707119 $2 uri |
|
| 024 |
7 |
|
$a http://nukat.edu.pl/aut/n 97028488 $2 uri |
|
| 039 |
|
9 |
$a 201911150020 $b VLOAD $c 201911140537 $d VLOAD $c 201810040013 $d VLOAD $c 201810030505 $d VLOAD $y 200205311103 $z load |
|
| 040 |
|
|
$a KR U/MM $c KR U/MM $d WA U/EJ $d WA u/KMR $d TOR U/DAt $d KR U/KM |
|
| 100 |
1 |
|
$a Matiâsevič, Ûrij Vladimirovič. |
|
| 372 |
|
|
$a Matematyka. $0 http://nukat.edu.pl/aut/s 94013666 $2 kaba |
|
| 374 |
|
|
$a Matematycy. $0 http://nukat.edu.pl/aut/s 94013667 $2 kaba |
|
| 400 |
1 |
|
$a Matiâsevič, Û. V. |
|
| 400 |
1 |
|
$a Matiyasevich, Yuri. |
|
| 400 |
1 |
|
$a Matiyasevich, Y. |
|
| 400 |
1 |
|
$a Matiyasevich, Yu. V. |
|
| 400 |
1 |
|
$a Matiiasevich, Iurî Vladimirovich. |
|
| 400 |
1 |
|
$a Matiâsevič, Ûrij. |
|
| 400 |
1 |
|
$a Matiyasevich, Yurii V. |
|
| 400 |
1 |
|
$a Matijasevič, Jurij. [t] |
|
| 400 |
1 |
|
$a Matijassevich, Y. |
|
| 667 |
|
|
$a Matematyk. |
|
| 670 |
|
|
$a Kp. Papers in honor of the Symposium on Logical Foundations of Computer Science, "Logic at St. Petersburg" / ed. by Y. Matiyasevich and A. Nerode. - Amsterdam, 1996. |
|
| 670 |
|
|
$a Vvedenie v interval'nye vyčislenija / G. Alefel'd, Ju. Chercberg. - Moskva, 1987. $b Red. |
|
| 670 |
|
|
$a Kp. Logical foundations of computer science / A. Nerode, Yu. V. Matiyasevich (eds.). - Berlin, 1994. |
|
| 670 |
|
|
$a Kp. Issledovaniâ po konstruktivnoj matematike i matematičeskoj logike : sbornik rabot. 8 / pod red. Û. V. Matiâseviča i A. O. Slisenko. - Leningrad, 1979. |
|
| 670 |
|
|
$a LCA online |
|
| 670 |
|
|
$a PN-ISO 9 |
|
| 670 |
|
|
$a BNF-NA |
|
| 670 |
|
|
$a http://www.umsolver.com/rus/matyas.htm |
|
| 670 |
|
|
$a Logic and complexity in computer science / guest eds: D. Beauquier, Y. Matijassevich. - Amsterdam, 2003. |
|
| 999 |
|
|
$a VIRTUA40 x |
|
| 999 |
|
|
$a VTLSSORT0080*0100*0400*1000*4000*4001*4002*4003*4004*4005*4006*4007*4008*6670*6700*6701*6702*6703*6704*6705*6706*6707*6708*9992 |
|
