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

Author(s)

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

Bibliographic Information

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

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

（Information & computing, 18）

サイエンス社, 1987.12

Other Title

A programming approach to computability

Title Transcription

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

Note

文献: p275-277

Details

• NCID: BN01883796
• ISBN:
  • 4781904971
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: vi, 287p
• Size: 21cm
• Classification:
  • NDC8 : 410.9
  • NDC7 : 410.1
  • NDLC : MA41
• Subject Headings:
  • BSH : 数学基礎論
  • BSH : アルゴリズム
• Parent Bibliography ID:
  • BN00566845