Theorem Proving in Higher Order Logics | 金沢大学附属図書館 OPAC plus

>> Google Books

Theorem Proving in Higher Order Logics

フォーマット:

電子ブック

責任表示:

TPHOLs 2001 ; Boulton, Richard J. ; Jackson, Paul B.

言語:

英語

出版情報:

Springer Berlin Heidelberg, 2001

著者名:

ISBN:

9783540425250 [354042525X]

9783540447559 [3540447555]

子書誌情報

オンライン

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

所蔵情報

Loading availability information

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

詳細

その他の標題:	14TH INTERNATIONAL CONFERENCE, TPHOLS 2001, EDINBURGH, SCOTLAND, UK, SEPTEMBER 3-6, 2001. PROCEEDINGS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000211631
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Theorem Proving in Higher Order Logics TPHOLs '99, Bertot, Yves 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 '98, Grundy, Jim, Newey, Malcolm Charles 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 2003, Basin, David, Wolff, Burkhart 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 '97, Felty, Amy, Gunter, Elsa L. Springer Berlin Heidelberg	10 電子ブック Higher Order Logic Theorem Proving and Its Applications Schubert, Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J. Springer Berlin Heidelberg
5 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2000, Aagaard, Mark, Aagaard, Mark D., Harrison, John Springer Berlin Heidelberg	11 電子ブック Higher Order Logic Theorem Proving and Its Applications Melham, Camilleri, Juanito, Melham, Tom F. Springer Berlin Heidelberg
6 電子ブック Theorem Proving in Higher Order Logics TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim 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