Higher Order Logic Theorem Proving and Its Applications | 東京工業大学附属図書館蔵書検索

>> Google Books

Higher Order Logic Theorem Proving and Its Applications / Joyce, Jeffrey J. Joyce, Carl-Johan H. Seger

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin Heidelberg, 1994

著者名:

ISBN:

9783540578260 [3540578269]
9783540483465 [3540483462]

書誌ID:

OB00495881

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

その他の標題:	HIGHER ORDER LOGIC THEOREM PROVING & ITS APPLICATIONS
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 図書 Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings (: gw ; : us) HOL User's Group Workshop, Joyce, Jeffrey J., 1960-, Seger, Carl-Johan H. Springer-Verlag	7 電子ブック Theorem Proving in Higher Order Logics Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Higher Order Logic Theorem Proving and Its Applications Schubert, Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2005, Hurd, Joe, Kanade, Takeo, Melham, Tom F., Melham, Tom Springer eBooks Computer Science, Springer Berlin / Heidelberg
3 電子ブック Higher Order Logic Theorem Proving and Its Applications Melham, Camilleri, Juanito, Melham, Tom F. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Theorem Proving in Higher Order Logics Schneider, Klaus, Brandt, Jens, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2001, Boulton, Richard J., Jackson, Paul B. SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2004, Bunker, Annette, Gopalakrishnan, Ganesh, Slind, Konrad SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and … IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Claesen, Luc J. M., … North-Holland	11 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2005, Hurd, Joe, Kanade, Takeo, Melham, Tom F., Melham, Tom, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
6 電子ブック Theorem Proving in Higher Order Logics Mohamed, Otmane Ait, Ait Mohamed, Otmane, Kanade, Takeo, Mu?oz, C?sar, Mu?oz, C?sar A., Tahar, Sofi?ne Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2003, Basin, David, Wolff, Burkhart SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12