Theorem Proving in Higher Order Logics

>> Google Books

Theorem Proving in Higher Order Logics

フォーマット:

電子ブック

責任表示:

TPHOLs 2000 ; Aagaard, Mark ; Aagaard, Mark D. ; Harrison, John

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2000

著者名:

ISBN:

9783540678632 [3540678638]

9786610956548 [6610956545]

9781280956546 [1280956542]

9783540446590 [3540446591]

子書誌情報

オンライン

ジャーナル/ブックへリンク

所蔵情報

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

詳細

その他の標題:	THEROEM PROVING IN HIGHER ORDER LOGICS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000548902
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theorem Proving in Higher Order Logics TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim Springer Berlin Heidelberg	7 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2002, Carreño, Victor A., Muñoz, César A., Tahar, Sofiène 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 2004, Bunker, Annette, Gopalakrishnan, Ganesh, Slind, Konrad Springer Berlin Heidelberg
3 電子ブック Theorem Proving in Higher Order Logics TPHOLs '98, Grundy, Jim, Newey, Malcolm Charles Springer Berlin Heidelberg	9 電子ブック Higher Order Logic Theorem Proving and Its Applications Joyce, Joyce, Jeffrey J., Seger, Carl-Johan H. Springer Berlin Heidelberg
4 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2003, Basin, David, Wolff, Burkhart Springer Berlin Heidelberg	10 電子ブック Higher Order Logic Theorem Proving and Its Applications Melham, Camilleri, Juanito, Melham, Tom F. Springer Berlin Heidelberg
5 電子ブック Theorem Proving in Higher Order Logics TPHOLs '97, Felty, Amy, Gunter, Elsa L. Springer Berlin Heidelberg	11 電子ブック Higher Order Logic Theorem Proving and Its Applications Schubert, Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J. Springer Berlin Heidelberg
6 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2001, Boulton, Richard J., Jackson, Paul B. Springer Berlin Heidelberg	12 図書 Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings International Conference on Theorem Proving in Higher Order Logics, Carreño, Victor A., Muñoz, César, Tahar, Sofiène Springer