Exploratory analysis of "the halt problem": a briefing on methods and initial insights

• 資料種別: 規格・テクニカルリポート類
• タイトル: Exploratory analysis of "the halt problem": a briefing on methods and initial insights
• 著者・編者: Davis, Paul K; Carrillo, Manuel J
• 出版年月日等: 1997
• 出版年（W3CDTF）: 1997
• 数量: 58 p
• リポート番号: テクニカルリポート番号 : RAND/DB-232-OSD
• 所蔵機関: 国立国会図書館
• 請求記号: M-RAND/DB-232-OSD
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000005867855; http://id.ndl.go.jp/bib/000005867855
• 整理区分コード: 291