close
1.

図書

図書
edited by Christopher Tong, Duvvuru Sriram
出版情報: Boston : Academic Press, c1992  xv, 524 p. ; 24 cm
シリーズ名: Artificial intelligence in engineering design ; v. 2
所蔵情報: loading…
目次情報:
Models of Innovative Design
Reasoning About Physical Systems
Reasoning About Geometry
Models of Innovative Design
Reasoning About Physical Systems
Reasoning About Geometry
2.

図書

図書
edited by Christopher Tong, Duvvuru Sriram
出版情報: Boston : Academic Press, c1992  xv, 388 p. ; 24 cm
シリーズ名: Artificial intelligence in engineering design ; v. 3
所蔵情報: loading…
目次情報: 続きを見る
Contributors
Preface
Introduction
Knowledge Acquisition / Part IV:
Commercial Applications / Part VII:
Integrated Environments / Part VIII:
The State of the Field / Part IX:
Contributors
Preface
Introduction
3.

図書

図書
edited by Mongi A. Abidi, Rafael C. Gonzalez
出版情報: Boston ; Tokyo : Academic Press, c1992  xii, 546 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Data Fusion and Sensor Integration: State of the Art 1990s
Multi-Source Spatial Fusion Using Bayesian Reasoning
Multi-Sensor Strategies Using Dempster/Shafer Belief Accumulation
Data Fusion Techniques Using Robust Statistics
Recursive Fusion Operators: Desirable Properties and Illustrations
Distributed Data Fusion Using Kalman Filtering
Least-Squares Fusion of Multi-Sensory Data
Fusion of Multi-Dimensional Data Using Regularization
Geometric Fusion: Minimizing Uncertainty Ellipsoid Volumes
Combination of Fuzzy Information in the Framework of Possibility Theory
Data Fusion: A Neural Networks Implementation
Introduction
Data Fusion and Sensor Integration: State of the Art 1990s
Multi-Source Spatial Fusion Using Bayesian Reasoning
4.

図書

図書
by Art Quaife
出版情報: Dordrecht ; Boston : Kluwer Academic, c1992  xviii, 271 p. ; 25 cm
シリーズ名: Automated reasoning series ; v. 2
所蔵情報: loading…
目次情報: 続きを見る
Preface: A Personal View of Automated Reasoning Research
Introduction to Automated Reasoning / 1:
Von Neumann-Bernays-G÷del Set Theory / 2:
Peano's Arithmetic / 3:
Tarski's Geometry / 4:
L÷b's Theorem and G÷del's Two Incompleteness Theorems / 5:
Unsolved Problems in Elementary Number Theory / 6:
G÷del's Axioms for Set Theory / Appendix 1:
Theorems Proved in NBG Set Theory / Appendix 2:
Theorems Proved in Peano's Arithmetic / Appendix 3:
Bibliography
Index of Names
Index of Subjects
Preface: A Personal View of Automated Reasoning Research
Introduction to Automated Reasoning / 1:
Von Neumann-Bernays-G÷del Set Theory / 2:
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼