Theorem Proving in Higher Order Logics | 東京工業大学附属図書館蔵書検索

>> Google Books

Theorem Proving in Higher Order Logics / Klaus Schneider, Jens Brandt, Takeo Kanade

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540745907 [3540745904]
9783540745914 [3540745912]

書誌ID:

OB00278570

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

書誌詳細

言語:

英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Theorem Proving in Higher Order Logics Berghofer, Stefan, Kanade, Takeo, Nipkow, Tobias, Urban, Christian, Wenzel, Makarius Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Higher Order Logic Theorem Proving and Its Applications Camilleri, Juanito, Melham, Tom F. SpringerLink Books Lecture Notes In Computer Science Archive, Springer Berlin Heidelberg
2 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2005, Hurd, Joe, Kanade, Takeo, Melham, Tom F. Springer eBooks Computer Science, Springer Berlin / Heidelberg	8 電子ブック Interactive Theorem Proving Hutchison, David, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック 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	9 図書 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
4 電子ブック 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	10 電子ブック Interactive Theorem Proving Kaufmann, Matt, Kanade, Takeo, Paulson, Lawrence C. Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック 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	11 電子ブック Interactive Theorem Proving Hutchison, David; Kanade, Takeo; Kittler, Josef Springer eBooks Computer Science, Springer Berlin Heidelberg
6 電子ブック 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	12 電子ブック Interactive Theorem Proving Eekelen, Marko, Geuvers, Herman, Kanade, Takeo, Schmaltz, Julien, Wiedijk, Freek Springer eBooks Computer Science, Springer Berlin Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12