<図書>

Formal techniques in artificial intelligence : a sourcebook / edited by Ranan B. Banerji

(Studies in computer science and artificial intelligence;6)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
工6・計数
70-B-35 1010218269


書誌詳細を非表示

出版者 Amsterdam ; Tokyo : North-Holland
出版者 New York, N.Y., U.S.A. : Distributors for the United States and Canada, Elsevier Science Pub. Co.
出版年 1990
大きさ xi, 437 p. : ill. ; 25 cm
一般注記 Includes bibliographical references and index
著者標目 Banerji, Ranan B., 1928-
件 名 LCSH:Artificial intelligence
分 類 LCC:Q335
DC20:006.3
本文言語 英語
書誌ID 2000152506
ISBN 0444881301
NCID BA10178035 WCLINK

ページトップ