Rule groupings [microform] : a software engineering approach towards verification of expert systems / Mala Mehrotra (NASA contractor report ; 4372)

Rule groupings [microform] : a software engineering approach towards verification of expert systems / Mala Mehrotra

(NASA contractor report ; 4372)

国立国会図書館請求記号: YCA-NAS 1.26:4372
国立国会図書館書誌ID: 000006588628

資料種別: 図書

著者: Mehrotra, Malaほか

出版者: -

出版年: 1991

資料形態: マイクロ

ページ数・大きさ等: microfiche ; 11 × 15 cm

NDC: -

すべて見る

資料に関する注記

一般注記：: "ViGYAN, Inc."Distributed to depository libraries in microfiche"May 1991"--Cover...

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

マイクロ

資料種別: 図書
タイトル: Rule groupings [microform] : a software engineering approach towards verification of expert systems / Mala Mehrotra
シリーズタイトル: NASA contractor report ; 4372
タイトル標目: NASA contractor report ; NASA CR-4372
著者標目: Mehrotra, Mala
United States. National Aeronautics and Space Administration. Scientific and Technical Information Service
Langley Research Center
ViGYAN, Inc
出版年（W3CDTF）: 1991
数量: microfiche
大きさ: 11 × 15 cm
出版地（国名コード）: US
本文の言語コード: eng
資料種別（注記）: [microform]
件名標目: Expert systems (Computer science) -- Verification
一般注記: "ViGYAN, Inc."
Distributed to depository libraries in microfiche
"May 1991"--Cover
Physical description for original version: 109 p. ; 28 cm
書誌注記: Includes bibliographical references (p. 22-23)
原資料等に関する注記: 原資料の出版事項: [Washington, D.C.?] ; [Springfield, Va. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Division : For sale by the National Technical Information Service], 1991
SUPTDOC番号: NAS 1.26: 4372
GPO管理番号: 0830-H-14 (MF)
所蔵機関: 国立国会図書館
請求記号: YCA-NAS 1.26:4372
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006588628
http://id.ndl.go.jp/bib/000006588628
OCLC番号: 27904579
https://www.worldcat.org/oclc/27904579
整理区分コード: 281