Higher Order Logic Theorem Proving and Its Applications

>> Google Books

Higher Order Logic Theorem Proving and Its Applications

フォーマット:

電子ブック

責任表示:

Schubert ; Alves-Foss, James ; Schubert, E. Thomas ; Windley, Phillip J.

言語:

英語

出版情報:

Springer Berlin Heidelberg, 1995

著者名:

ISBN:

9783540602750 [3540602755]

9783540447849 [3540447849]

子書誌情報

オンライン

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

所蔵情報

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

詳細

その他の標題:	HIGHER ORDER LOGIC THEOREM PROVING & ITS APPLICATIONS
刊行状態:	Unknown status
分類・件名:	LCC : 1000000000234330
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Higher Order Logic Theorem Proving and Its Applications Joyce, Joyce, Jeffrey J., Seger, Carl-Johan H. Springer Berlin Heidelberg	7 電子ブック Theorem Proving in Higher Order Logics TPHOLs '99, Bertot, Yves Springer Berlin Heidelberg
2 電子ブック Higher Order Logic Theorem Proving and Its Applications Melham, Camilleri, Juanito, Melham, Tom F. Springer Berlin Heidelberg	8 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2002, Carreño, Victor A., Muñoz, César A., Tahar, Sofiène Springer Berlin Heidelberg
3 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2001, Boulton, Richard J., Jackson, Paul B. Springer Berlin Heidelberg	9 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2003, Basin, David, Wolff, Burkhart Springer Berlin Heidelberg
4 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2000, Aagaard, Mark, Aagaard, Mark D., Harrison, John 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 '96, Grundy, Jim, Harrison, John, Wright, Joakim Springer Berlin Heidelberg	11 電子ブック Theorem Proving in Higher Order Logics TPHOLs '97, Felty, Amy, Gunter, Elsa L. Springer Berlin Heidelberg
6 電子ブック Theorem Proving in Higher Order Logics TPHOLs '98, Grundy, Jim, Newey, Malcolm Charles Springer Berlin Heidelberg	12 電子ブック Formal Syntax and Semantics of Java Jim Alves-Foss, Alves-Foss, James Springer Berlin Heidelberg