青山学院大学図書館
ログイン
  • 目録検索 目録検索 ▼
  • 利用者サービス MyLibrary（利用者サービス）▼
    • 利用状況の確認
    • ブックマーク
    • お気に入り検索
    • 新着アラート
    • ILL複写依頼（他機関への文献複写依頼）
    • ILL貸借依頼（他機関への文献貸借依頼）
    • 新規購入依頼
    • オリエンテーション予約（教員）
    • オンライン施設予約

青山学院大学図書館

検索結果一覧へ戻る

Validating and verifying knowledge-based systems

[compiled by] Uma G. Gupta ; : case, : microfiche. -- IEEE Computer Society Press, 1991. <BB00765053>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌URL：

Validating and verifying knowledge-based systems

[compiled by] Uma G. Gupta ; : case, : microfiche. -- IEEE Computer Society Press, 1991. <BB00765053>
登録タグ：
登録されているタグはありません
便利機能：
目次・あらすじを見る レビューを見る 詳細情報を見る
書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 コメント 予約 WEB書棚
0001 青山本館 青自動書庫一般 006.3||V1 009204035 0件
No. 0001
巻号
所蔵館 青山本館
配置場所 青自動書庫一般
請求記号 006.3||V1
資料ID 009204035
状態
コメント
予約 0件
WEB書棚
このページのTOPへ
このページのTOPへ

書誌詳細

標題および責任表示 Validating and verifying knowledge-based systems / [compiled by] Uma G. Gupta
出版・頒布事項 Los Alamitas, Calif. : IEEE Computer Society Press , c1991
形態事項 ix, 409 p. : ill. ; 29 cm
巻号情報
巻次等 : case
ISBN 0818689951
巻号情報
巻次等 : microfiche
ISBN 0818659955
その他の標題 異なりアクセスタイトル:Validation and verification of knowlege-based systems
注記 Title on added t.p.: Validation and verification of knowledge-based systems
注記 Includes bibliographical references and index
注記 "IEEE Computer Society Press order number 1995"--T.p. verso
注記 "IEEE catalog number EH0320-2"--T.p. verso
NCID BA13566314
本文言語コード 英語
著者標目リンク Gupta, Uma G. <AU40058423>
分類標目 LCC:QA76.76.E95
分類標目 DC20:006.3/3
件名標目等 Expert systems (Computer science) -- Validation
件名標目等 Expert systems (Computer science) -- Verification
このページのTOPへ
検索結果一覧へ戻る
このページのTOPへ

  • 関連情報

    関連資料

    他の検索サイトで探す

    この書誌のQRコード