WorldCat Identities

Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)

Overview
Works: 32 works in 59 publications in 3 languages and 1,650 library holdings
Genres: Conference proceedings  History  Biography 
Roles: Interviewee, Editor
Classifications: QA242, 512.7
Publication Timeline
Key
Publications about  I︠U︡. V Matii︠a︡sevich Publications about I︠U︡. V Matii︠a︡sevich
Publications by  I︠U︡. V Matii︠a︡sevich Publications by I︠U︡. V Matii︠a︡sevich
Most widely held works about I︠U︡. V Matii︠a︡sevich
 
Most widely held works by I︠U︡. V Matii︠a︡sevich
Hilbert's tenth problem by I︠U︡. V Matii︠a︡sevich ( )
12 editions published between 1993 and 1996 in English and Undetermined and held by 1,169 WorldCat member libraries worldwide
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings by Anil Nerode ( Book )
10 editions published in 1994 in English and held by 320 WorldCat member libraries worldwide
"This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, model-checking, lambda-calculi, modal logic, and problem complexity."--PUBLISHER'S WEBSITE
Julia Robinson and Hilbert's tenth problem ( Visual )
1 edition published in 2008 in English and held by 97 WorldCat member libraries worldwide
"Julia Robinson was the first woman elected to the mathematical section of the National Academy of Sciences, and the first woman to become president of the American Mathematical Society. While tracing Robinson's contribution to the solution of Hilbert's tenth problem, the film illuminates how her work led to an unusual friendship between Russian and American colleagues at the height of the Cold War."--Container
Desi︠a︡tai︠a︡ problema Gilʹberta by I︠U︡. V Matii︠a︡sevich ( Book )
2 editions published in 1993 in Russian and held by 13 WorldCat member libraries worldwide
First St. Petersburg Conference on Days of Logic and Computability : May 26 to 29, 1999, St. Petersburg, Russia ( Book )
1 edition published in 2002 in English and held by 6 WorldCat member libraries worldwide
Papers in honor of the Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg" by Symposium on Logical Foundations of Computer Science "Logic at St. Petersburg" ( Book )
4 editions published in 1996 in English and held by 5 WorldCat member libraries worldwide
Papers in honor of the Symposium on Logical Foundations of Computer Science, "Logic at St. Petersburg" by 1994, Sankt-Peterburg) LFCS (3 ( Book )
2 editions published between 1995 and 1996 in English and held by 4 WorldCat member libraries worldwide
Le dixième problème de Hilbert : son indécidabilité by Youri Matiiassevitch ( Book )
1 edition published in 1995 in French and held by 4 WorldCat member libraries worldwide
Papers presented at the second St. Petersburg days of logic and computability conference on the occasion of the centennial of Andrey Andreevich Markov, Jr. by St. Petersburg Conference on Days of Logic and Computability ( )
2 editions published in 2006 in English and held by 3 WorldCat member libraries worldwide
First St. Petersburg Conference on Days of Logic and Computability by St. Petersburg Conference on Days of Logic and Computability ( Book )
1 edition published in 2002 in English and held by 2 WorldCat member libraries worldwide
Ma collaboration avec Julia Robinson by I︠U︡. V Matii︠a︡sevich ( )
in Undetermined and French and held by 2 WorldCat member libraries worldwide
First St. Petersburg Conference on Days of Logic and Computability, May 26 to 29, 1999, St. Petersburg, Russia by St. Petersburg Conference on Days of Logic and Computability ( Book )
1 edition published in 2002 in English and held by 2 WorldCat member libraries worldwide
Devi︠a︡tai︠a︡ Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike : Leningrad, 27-29 senti︠a︡bri︠a︡ 1988 g. : posvi︠a︡shchaetsi︠a︡ 85-letii︠u︡ chlena-korrespondenta AN SSSR A.A. Markova : tezisy dokladov by Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike ( Book )
1 edition published in 1988 in Russian and held by 2 WorldCat member libraries worldwide
The Diophantine property of countable sets by I︠U︡. V Matii︠a︡sevich ( Book )
1 edition published in 1970 in English and held by 1 WorldCat member library worldwide
Vvedenie i intervalʹnye vychislenii︠a︡ by G Alefeld ( Book )
1 edition published in 1987 in Russian and held by 1 WorldCat member library worldwide
First St. Petersburg Conference on Days of Logic and Computability : [held from May 26 to 29, 1999 in St. Petersburg, Russia] by 1999, Sankt-Peterburg) St. Petersburg Conference on Days of Logic and Computability (1 ( Book )
1 edition published in 2002 in English and held by 1 WorldCat member library worldwide
Matematičeskie metody analiza algoritmov by Daniel H Greene ( Book )
1 edition published in 1987 in Russian and held by 1 WorldCat member library worldwide
Issledovaniâ po konstruktivnoj matematike i matematičeskoj logike : sbornik rabot ( Book )
1 edition published in 1976 in Russian and held by 1 WorldCat member library worldwide
Logic and complexity in computer science by International Conference "Logic and Complexity in Computer Science ( Book )
1 edition published in 2003 in English and held by 1 WorldCat member library worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.58 (from 0.00 for Ma collabo ... to 1.00 for First St. ...)
Alternative Names
Matiâsevič, Û. V.
Matiâsevič, Ûrij.
Matiasevitch Iourï Vladimirovitch
Matiiasevich, Iurî Vladimirovich.
Matiiasevich, Iurii V.
Matijasevič, Jurij. [t]
Matijassevich, Y.
Matiyasevich, Y.
Matiyasevich, Yu. V.
Matiyasevich, Yuri.
Matiyasevich, Yuri V.
Matiyasevich, Yurii V.
Матиясевич Юрий Владимирович
Languages
English (39)
Russian (6)
French (2)
Covers