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

>> Google Books

Higher Order Logic Theorem Proving and Its Applications / Juanito Camilleri, Tom F. Melham

資料種別:

電子ブック

出版情報:

SpringerLink Books Lecture Notes In Computer Science Archive
Springer Berlin Heidelberg, 1994

著者名:

ISBN:

9783540584506 [3540584501]
9783540488033 [3540488030]

書誌ID:

OB00287155

子書誌情報

フルテキスト

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 : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Melham, T. F. (Tom … Springer-Verlag	7 図書 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
2 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2005, Hurd, Joe, Kanade, Takeo, Melham, Tom F. Springer eBooks Computer Science, Springer Berlin / Heidelberg	8 電子ブック 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
3 図書 Theorem proving in higher order logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings International Conference on Theorem Proving in Higher Order Logics, Hurd, Joe, Melham, T. F. (Tom F.) Springer	9 電子ブック Theorem Proving in Higher Order Logics Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Higher Order Logic Theorem Proving and Its Applications Joyce, Jeffrey J., Seger, Carl-Johan H. SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	10 電子ブック Theorem Proving in Higher Order Logics TPHOLs '96, Grundy, Jim, Harrison, John, Wright, Joakim SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
5 電子ブック Higher Order Logic Theorem Proving and Its Applications Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J. SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg	11 電子ブック Theorem Proving in Higher Order Logics Schneider, Klaus, Brandt, Jens, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック Higher Order Logic and Hardware Verification Melham, T. F. Cambridge University Press Online Books, Cambridge University Press	12 図書 Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Schubert, Thomas E., … Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12