WebOPAC Local書誌詳細

書誌詳細

Martin Davis. -- McGraw-Hill, 1958. -- (McGraw-Hill series in information processing and computers). <BB00428821>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

Martin Davis. -- McGraw-Hill, 1958. -- (McGraw-Hill series in information processing and computers). <BB00428821>

登録タグ：

登録されているタグはありません

便利機能：

書誌URL：

ナンバーをクリックすると所蔵詳細をみることができます。

No.	所蔵館	配置場所	資料ID	請求記号	予約
0001	数理科学	理：数理科学図書室洋D	010067512	/418/D46C/A	0件
0002	数理科学	理：数理科学図書室洋D	007883345	/413/D46c	0件
0003	日野館	日野：閉架書庫（一般）	201181575	/410.9/D	0件

標題および責任表示	Computability & unsolvability / Martin Davis
出版・頒布事項	New York ; Toronto ; London : McGraw-Hill , 1958
形態事項	xxv, 210 p. : ill. ; 24 cm
書誌構造リンク	McGraw-Hill series in information processing and computers <BB00174484>//a
注記	Includes bibliographical references (p. 199-203) and index
学情ID	BA04644064
本文言語コード	英語
著者標目リンク	Davis, Martin, 1928- <AU00214600>
分類標目	LCC:QA248.5
分類標目	DC:517.5
件名標目等	Recursive functions
件名標目等	Unsolvability (Mathematical logic)
件名標目等	Computable functions