VIAF

Virtual International Authority File

Search

Matiâsevič, Ûrij Vladimirovič. National Library of France NUKAT Center of Warsaw University Library ISNI

Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.) Library of Congress/NACO

Matijasevič, Jurij V. German National Library National Library of the Netherlands

Матиясевич, Юрий Владимирович Wikidata

Matiiassevitch, Youri Sudoc [ABES], France

Matii︠a︡sevich, I︠U︡riĭ V. RERO - Library Network of Western Switzerland

VIAF ID: 24753185 (Personal)

Permalink: http://viaf.org/viaf/24753185

ISNI: 0000  0001  1609  2497 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (39)

Open Section Close SectionWorks

Title Sources
Desi︠a︡tai︠a︡ problema Gilʹberta National Library of France NUKAT Center of Warsaw University Library xR Extended Titles Library of Congress/NACO
dixième problème de Hilbert son indécidabilité National Library of France Sudoc [ABES], France
First St. Petersburg Conference on Days of Logic and Computability, May 26 to 29, 1999, St. Petersburg, Russia NUKAT Center of Warsaw University Library
Hilbert's tenth problem NUKAT Center of Warsaw University Library Library of Congress/NACO Sudoc [ABES], France RERO - Library Network of Western Switzerland National Library of France National Library of the Netherlands
Introduction to interval computations NUKAT Center of Warsaw University Library
Issledovaniâ po konstruktivnoj matematike i matematičeskoj logike : sbornik rabot. NUKAT Center of Warsaw University Library
Logic and complexity in computer science / guest eds: D. Beauquier, Y. Matijassevich. - Amsterdam, 2003. NUKAT Center of Warsaw University Library
Logical foundations of computer science / A. Nerode, Yu. V. Matiyasevich (eds.). - Berlin, 1994. NUKAT Center of Warsaw University Library Sudoc [ABES], France
Logical foundations of computer science Third international symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, proceedings National Library of France NUKAT Center of Warsaw University Library Library of Congress/NACO
Ma collaboration avec Julia Robinson National Library of France
Matematičeskie metody analiza algoritmov NUKAT Center of Warsaw University Library
Mathematics for the analysis of algorithms NUKAT Center of Warsaw University Library
Vvedenie v interval'nye vyčisleniâ NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (5)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section History of VIAF ID:24753185 (14)