Matiâsevič, Ûrij Vladimirovič.
Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)
Matijasevič, Ju. V.
Юрий Владимирович Матиясевич
Matiyasevich, Yuri Vladimirovich, 1947-....
Matijasevič, Jurij V.
Matii︠a︡sevich, I︠U︡riĭ V.
Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ Vladimirovich)
VIAF ID: 24753185 ( Personal )
Permalink: http://viaf.org/viaf/24753185
Preferred Forms
- 200 _ | ‡a Matiâsevič ‡b Ûrij Vladimirovič
-
-
- 100 1 0 ‡a Matii︠a︡sevich, I︠U︡. V. ‡q (I︠U︡riĭ V.)
- 100 1 _ ‡a Matii︠a︡sevich, I︠U︡. V. ‡q (I︠U︡riĭ Vladimirovich)
-
- 100 1 _ ‡a Matijasevič, Jurij V.
-
- 100 1 _ ‡a Matijasevič, Ju. V.
-
- 100 1 _ ‡a Matiyasevich, Yuri Vladimirovich, ‡d 1947-....
-
- 100 0 _ ‡a Юрий Владимирович Матиясевич
4xx's: Alternate Name Forms (60)
Works
Title | Sources |
---|---|
Desâtaâ problema Gil'berta | |
dixième problème de Hilbert son indécidabilité | |
First St. Petersburg Conference on Days of Logic and Computability, May 26 to 29, 1999, St. Petersburg, Russia | |
Hilbert's tenth problem | |
Introduction to interval computations | |
Issledovaniâ po konstruktivnoj matematike i matematičeskoj logike : sbornik rabot. | |
Kombinatorika i teorija grafov. | |
Logic and complexity in computer science | |
Logical foundations of computer science / A. Nerode, Yu. V. Matiyasevich (eds.). - Berlin, 1994. | |
Logical foundations of computer science Third international symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, proceedings | |
Ma collaboration avec Julia Robinson | |
Matematičeskie metody analiza algoritmov | |
Mathematics for the analysis of algorithms | |
Vvedenie v interval'nye vyčisleniâ | |
Десятая проблема Гильберта | |
Комбинаторика и теория графов. |