Automated practical reasoning : algebraic approaches

タイトル、所在を表示します

フォーマット:

図書

責任表示:

Jochen Pfalzgraf and Dongming Wang, eds. ; with a foreword by Jim Cunningham

言語:

英語

出版情報:

Wien ; New York : Springer-Verlag, c1995

形態:

xi, 223 p. ; 25 cm

著者名:

シリーズ名:

Texts and monographs in symbolic computation <BA20803475>

書誌ID:

BA24680275

ISBN:

9783211826003 [3211826009] (: au)
9780387826004 [0387826009] (: us)

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

資料形態(詳細):	Text
主題:	Automatic theorem proving; Reasoning
LCCN:	95001923
注記:	Includes bibliographical references and index
登録日:	1995-04-21
分類・件名:	LCC : QA76.9.A96 DDC : 005.13/1 LCSH : Automatic theorem proving LCSH : Reasoning

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Scientific reasoning : the Bayesian approach Howson, Colin, Urbach, Peter Open Court	7 図書 Proof theory and automated deduction Goubault-Larrecq, Jean, Mackie, I. (Ian) Kluwer Academic
2 図書 Critical reasoning in ethics : a practical introduction Thomson, Anne Routledge	8 図書 Theory reasoning in connection calculi Baumgartner, Peter Springer
3 図書 Automated reasoning and its applications : essays in honor of Larry Wos Veroff, Robert, Pieper, Gail W., Wos, Larry, 1930- The MIT Press	9 図書 The computer modelling of mathematical reasoning Bundy, Alan Academic Press
4 図書 Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, selected papers International Workshop on Automated Deduction in Geometry, Wang, Dongming Springer	10 図書 Critical thinking : an introduction to reasoning Dauer, Francis Watanabe Oxford University Press
5 図書 An introduction to reasoning Toulmin, Stephen Edelston, 1922-, Rieke, Richard D., 1935-, Janik, Allan Macmillan	11 図書 On intuition and discursive reasoning in Aristotle Kal, Victor E.J. Brill
6 図書 Automated mathematical induction Zhang, H. (Hantao) Kluwer Academic	12 図書 Automated theorem proving : a logical basis Loveland, Donald W., 1934- North-Holland Pub. Co, Sole distributor for the U.S.A. and Canada, Elsevier North-Holland