常翔学園 摂南大学図書館

プログラミングによる計算可能性理論

A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳. -- サイエンス社, 1987. -- (Information & computing ; 18). <BB99671878>
この書誌にはまだスタンプは押されていません。


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 禁帯出区分 状態 返却予定日 予約
0001 摂本館 摂寝保存書庫 410.1||P 28713826 帯出可 0件
No. 0001
巻号
所蔵館 摂本館
配置場所 摂寝保存書庫
請求記号 410.1||P
資料ID 28713826
禁帯出区分 帯出可
状態
返却予定日
予約 0件

書誌詳細

タイトル/著者 プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
プログラミング ニ ヨル ケイサン カノウセイ リロン
出版・頒布事項 東京 : サイエンス社 , 1987.12
形態事項 vi, 287p ; 21cm
巻号情報
ISBN 4781904971
シリーズ名 Information & computing <BB00077187> 18//a
その他の標題 原タイトル:A programming approach to computability
注記 文献: p275-277
学情ID BN01883796
本文言語コード 日本語
著者標目リンク Arbib, Michael A., 1940- <AU00039632>
著者標目リンク 甘利, 俊一(1936-)||アマリ, シュンイチ <AU10033425>
著者標目リンク 金谷, 健一(1947-)||カナタニ, ケンイチ <AU10035227>
著者標目リンク 川端, 勉||カワバタ, ツトム <AU50082556>
著者標目リンク Kfoury, A. J. <AU50070920>
著者標目リンク Moll, Robert N. <AU50070919>
件名標目等 数学基礎論||スウガクキソロン
件名標目等 アルゴリズム||アルゴリズム