ID:DA07676766
Matiyasevich, Yuri V.
Matii︠a︡sevich, I︠U︡riĭ Vladimirovich
Матиясевич, Ю. В.
Матиясевич, Юрий Владимирович
Search authors sharing the same name
A. Nerode, Yu. V. Matiyasevich (eds.)
Springer-Verlag c1994 Lecture notes in computer science 813
: us , : gw
Available at 62 libraries
Yuri V. Matiyasevich ; with a foreword by Martin Davis
MIT Press c1993 MIT Press series in the foundations of computing
Available at 42 libraries
Ю.В. Матиясевич
"Физико-математическая лит-ра" 1993 Математическая логика и основания математики вып. 26
Available at 2 libraries