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

Formal Verification of AI (Artifical Intelligence) Software. Final Report NASA-CR-181827 N89-24811 NAS-126181827

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

Formal Verification of AI (Artifical Intelligence) Software. Final Report

NASA-CR-181827 N89-24811 NAS-126181827

Call No. (NDL)
LS-N89/24811
Bibliographic ID of National Diet Library
000004947392
Material type
規格・テクニカルリポート類
Author
Rushby, Jほか
Publisher
-
Publication date
-
Material Format
Microform
Capacity, size, etc.
microfiche 156 p
NDC
-
View All

Search by Bookstore

Search by Bookstore

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.

Microform

Material Type
規格・テクニカルリポート類
Title
Formal Verification of AI (Artifical Intelligence) Software. Final Report
Author/Editor
Rushby, J
Whitehurst, R. A
Extent
microfiche 156 p
Note (Material Type)
[microform]
Report No.
テクニカルリポート番号 : NASA-CR-181827
テクニカルリポート番号 : N89-24811
テクニカルリポート番号 : NAS-126181827
Holding library
国立国会図書館
Call No.
LS-N89/24811
Data Provider (Database)
国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL)
000004947392
http://id.ndl.go.jp/bib/000004947392