ID:DA07676766
Matiyasevich, Yuri V.
Matii︠a︡sevich, I︠U︡riĭ Vladimirovich
Матиясевич, Ю. В.
Матиясевич, Юрий Владимирович
同姓同名の著者を検索
A. Nerode, Yu. V. Matiyasevich (eds.)
Springer-Verlag c1994 Lecture notes in computer science 813
: us , : gw
所蔵館63館
Yuri V. Matiyasevich ; with a foreword by Martin Davis
MIT Press c1993 MIT Press series in the foundations of computing
所蔵館42館
Ю.В. Матиясевич
"Физико-математическая лит-ра" 1993 Математическая логика и основания математики вып. 26
所蔵館2館