Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

>> Google Books

QRコード(所蔵情報)

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings

フォーマット:

図書

責任表示:

Victor A. Carreño, César A. Muñoz, Sofiène Tahar (eds.)

言語:

英語

出版情報:

Berlin : Springer, c2002

形態:

x, 347 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 2410 <BA00009279>

書誌ID:

BA58325875

ISBN:

9783540440390 [3540440399]

子書誌情報

所蔵情報

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

詳細

主題:	Automatic theorem proving--Congresses
分類・件名:	LCC : QA76.9:A96 LCSH : Automatic theorem proving -- Congresses
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2002, Carreño, Victor A., Muñoz, César A., Tahar, Sofiène Springer Berlin Heidelberg	7 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2000, Aagaard, Mark, Aagaard, Mark D., Harrison, John Springer Berlin Heidelberg
2 電子ブック Theorem Proving in Higher Order Logics TPHOLs '99, Bertot, Yves Springer Berlin Heidelberg	8 電子ブック Theorem Proving in Higher Order Logics TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim Springer Berlin Heidelberg
3 図書 7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings International Conference on Automated Deduction, Shostak, Robert, 1931- Springer-Verlag	9 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2001, Boulton, Richard J., Jackson, Paul B. Springer Berlin Heidelberg
4 電子ブック Theorem Proving in Higher Order Logics TPHOLs '98, Grundy, Jim, Newey, Malcolm Charles Springer Berlin Heidelberg	10 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2004, Bunker, Annette, Gopalakrishnan, Ganesh, Slind, Konrad Springer Berlin Heidelberg
5 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2003, Basin, David, Wolff, Burkhart Springer Berlin Heidelberg	11 図書 CONCUR 2002 - concurrency theory : 13th International Conference, Brno, Czech Republic, August 20-23, 2002 : proceedings International Conference on Concurrency Theory, Brim, Lubǒs, Jančar, Petr, Křetínský, Mojmír, Kučera, A. (Antonín) Springer
6 電子ブック Theorem Proving in Higher Order Logics TPHOLs '97, Felty, Amy, Gunter, Elsa L. Springer Berlin Heidelberg	12 電子ブック Higher Order Logic Theorem Proving and Its Applications Joyce, Joyce, Jeffrey J., Seger, Carl-Johan H. Springer Berlin Heidelberg