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

著者

• Arbib, Michael A.
• 甘利, 俊一 アマリ, シュンイチ
• 金谷, 健一 カナタニ, ケンイチ
• 川端, 勉 カワバタ, ツトム
• Kfoury, A. J.
• Moll, Robert N.

書誌事項

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

A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳

（Information & computing, 18）

サイエンス社, 1987.12

タイトル別名

A programming approach to computability

タイトル読み

プログラミング ニ ヨル ケイサン カノウセイ リロン

注記

文献: p275-277

詳細情報

• NII書誌ID(NCID): BN01883796
• ISBN:
  • 4781904971
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: vi, 287p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.9
  • NDC7 : 410.1
  • NDLC : MA41
• 件名:
  • BSH : 数学基礎論
  • BSH : アルゴリズム
• 親書誌ID:
  • BN00566845