NCID | BA21148397 |
タイトル | Hilbert's tenth problem / Yuri V. Matiyasevich ; with a foreword by Martin Davis |
出版者 | Cambridge, Mass. : MIT Press , c1993 |
形態 | xxii, 264 p. ; 24 cm |
別書名 | Desi︠a︡tai︠a︡ problema Gilʹberta
|
注記 | Includes bibliographical references and indexes |
シリーズ名 | Foundations of computing
|
分類 | LCC:QA242 DC20:512/.7 |
件名 | LCSH:Hilbert'stenthproblem
LCSH:Computablefunctions
|
著者情報 | Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ Vladimirovich)
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
原作言語 | ロシア語 |
出版国 | アメリカ合衆国 |
ISBN | 0262132958
|
番号 | LCCN : 93028107 |