Use of Metaknowledge in the Verification of Knowledge-Based Systems. Final Report NASA-CR-181821 N89-25627 NAS-126181821

Use of Metaknowledge in the Verification of Knowledge-Based Systems. Final Report

NASA-CR-181821 N89-25627 NAS-126181821

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

Material Type: 規格・テクニカルリポート類
Title: Use of Metaknowledge in the Verification of Knowledge-Based Systems. Final Report
Author/Editor: Morell, L. J
Extent: microfiche 17 p
Note (Material Type): [microform]
Report No.: テクニカルリポート番号 : NASA-CR-181821
テクニカルリポート番号 : N89-25627
テクニカルリポート番号 : NAS-126181821
Holding library: 国立国会図書館
Call No.: LS-N89/25627
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000004947387
http://id.ndl.go.jp/bib/000004947387
Bibliographic Record Category (NDL): 291