規格・テクニカルリポート類

Exploratory analysis of "the halt problem": a briefing on methods and initial insights RAND/DB-232-OSD

Icons representing 規格・テクニカルリポート類

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

RAND/DB-232-OSD

Call No. (NDL)
M-RAND/DB-232-OSD
Bibliographic ID of National Diet Library
000005867855
Material type
規格・テクニカルリポート類
Author
Davis, Paul Kほか
Publisher
-
Publication date
1997
Material Format
Paper
Capacity, size, etc.
58 p
NDC
-
View All

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
規格・テクニカルリポート類
Author/Editor
Davis, Paul K
Carrillo, Manuel J
Publication Date
1997
Publication Date (W3CDTF)
1997
Extent
58 p
Report No.
テクニカルリポート番号 : RAND/DB-232-OSD
Holding library
国立国会図書館
Call No.
M-RAND/DB-232-OSD
Data Provider (Database)
国立国会図書館 : 国立国会図書館蔵書