書誌番号	0000043403
言語	jpn : 日本語
NACSIS ID	BN01883796
和洋区分	和資料
書名	プログラミングによる計算可能性理論
書名カナ	プログラミング ニ ヨル ケイサン カノウセイ リロン
その他タイトル	原タイトル:A programming approach to computability
親書誌名 ; 番号等	Information & computing ; 18
著者名	A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
出版事項	東京 : サイエンス社, 1987.12
形態	vi, 287p ; 21cm
分類	NDC8版 : 410.9 NDC7版 : 410.1 国立国会図書館分類表 : MA41
巻冊次表示	巻書名 ISBN 表示価格 書籍リンク 4781904971 2800円
著者名典拠	Kfoury, A. J. Moll, Robert N. 川端, 勉 Arbib, Michael A., 1940- 甘利, 俊一(1936-) 金谷, 健一 (1947-)
件名	[個人名以外の件名] : BSH:数学基礎論||スウガクキソロン//L [個人名以外の件名] : BSH:アルゴリズム||アルゴリズム//L
リレーション	[書誌階層（上位：親）] : 1件( Information & computing )
注記	文献: p275-277

該当件数：1件

	巻書名	所蔵ID	配架場所	請求記号	備考	返却予定日	ステータス	予約数
		10017982	一般	410.9			貸出可能	0

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します