このページのリンク

利用統計

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Logic and computer science

責任表示 edited by Piergiorgio Odifreddi
シリーズ A.P.I.C. studies in data processing ; v. 31
データ種別 図書
出版者 London ; Tokyo : Academic Press
出版年 c1990
本文言語 英語
大きさ xii, 430 p. ; 24 cm

所蔵情報


伊都図(中央) BF 開架 068582190012410 549.9/O 17/1 1990

書誌詳細

一般注記 Includes bibliographies and index
著者標目 Odifreddi, Piergiorgio, 1950-
件 名 LCSH:Logic programming
LCSH:Horn clauses
LCSH:Automatic theorem proving
LCSH:Nuprl (Computer system)
LCSH:Mathematics -- Data processing  全ての件名で検索
分 類 DC19:511.3
書誌ID 1000001505
ISBN 0125242204
NCID BA10603902
巻冊次 ISBN:0125242204
登録日 1991.06.12
更新日 1996.03.07

類似資料