このページのリンク

利用統計

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

<図書>
Deduction : automated logic

責任表示 by Wolfgang Bibel ; with the assistance of Steffen Hölldobler and exercises by Gerd Neugebauer ; translated by Monika Lekuse with the assistance of Donald Sannella
データ種別 図書
出版者 London ; Tokyo : Academic Press
出版年 c1993
本文言語 英語
大きさ 253 p : ill. ; 24 cm
概要 Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise & comprehensive manner. This book features broad coverage of deductive methods on the level of proposi...ional & first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, & their realization in concrete systems. 続きを見る

所蔵情報


伊都図(理系) 自動書庫 027232004151442
1993

伊都図(中央) BF 開架 068582193011916 116.1/B 41/1 1993

書誌詳細

一般注記 Bibliography: p. 223-239
Includes index
著者標目 *Bibel, Wolfgang, 1938-
Hölldobler, Steffen, 1957-
Neugebauer, Gerd
Lekuse, Monika
Sannella, Donald, 1956-
書誌ID 1000002263
ISBN 012095835X
NCID BA20266911
巻冊次 ISBN:012095835X
登録日 1994.08.23
更新日 2011.08.12