Automated theorem proving

フォーマット:

電子ブック

責任表示:

Bledsoe, W.W ; Loveland, D.W

言語:

英語

出版情報:

Providence, R.I. : American Mathematical Society, 1984

著者名:

ISBN:

9780821850275 [082185027X]

9780821853832 [082185383X]

9780821876145 [0821876147]

子書誌情報

オンライン

所蔵情報

タイトル・著者・出版者が同じ資料

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Automated theorem proving in software engineering Schumann, Johann M., Loveland, Donald W., 1934- Springer	7 電子ブック Elliptic Functions and Transcendence Masser, Masser, D.W. Springer Berlin Heidelberg
2 電子ブック Automated Theorem Proving Newborn, Monty Springer New York	8 電子ブック Theorem Proving with Analytic Tableaux and Related Methods TABLEAUX '96, Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M. Springer Berlin Heidelberg
3 電子ブック 6th Conference on Automated Deduction Loveland Springer Berlin Heidelberg	9 電子ブック Clinical Recovery from CNS Damage Naritomi, H., Krieger, D.W S. Karger
4 図書 Building construction plan drawing and surveying : in relation to fire insurance Wood, D.W. I. Pitman	10 電子ブック Theorem Provers in Circuit Design Kumar, Kropf, Thomas, Kumar, Ramayya Springer Berlin Heidelberg
5 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2000, Aagaard, Mark, Aagaard, Mark D., Harrison, John Springer Berlin Heidelberg	11 電子ブック Theorem Proving in Higher Order Logics TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim Springer Berlin Heidelberg
6 図書 High-resolution NMR techniques in organic chemistry Claridge, Timothy D.W. Pergamon	12 電子ブック Theorem Proving in Higher Order Logics TPHOLs '98, Grundy, Jim, Newey, Malcolm Charles Springer Berlin Heidelberg