Theorem proving in higher order logics : 16 International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings | 東京工業大学附属図書館蔵書検索

>> Google Books

所蔵情報QRコード

Theorem proving in higher order logics : 16 International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings / David Basin, Burkhart Wolff (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2003

形態:

x, 366 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2758 <BA00009279>

著者名:

ISBN:

9783540406648 [3540406646]

書誌ID:

BA63467187

子書誌情報

フルテキスト

Loading contents information

所蔵情報

Loading availability information

他の版・巻

書誌詳細

その他の標題:	Theorem proving in higher order logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 2003 : proceedings
注記:	Includes bibliographical references and index
主題:	Automatic theorem proving--Congresses
言語:	英語

東工大ブックレビュー

Loading review information

類似資料:

1 電子ブック Theorem Proving in Higher Order Logics TPHOLs 2003, Basin, David, Wolff, Burkhart SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 図書 Higher order logic theorem proving and its applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : proceedings (: gw ; : us) IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Melham, T. F. (Tom … Springer-Verlag
2 図書 Theorem proving in higher order logics : 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings International Conference on Theorem Proving in Higher Order Logics, Boulton, Richard J., 1967-, Jackson, Paul B., 1962- Springer	8 図書 Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings International Conference on Theorem Proving in Higher Order Logics, Aagaard, Mark, 1966-, Harrison, J. (John), 1966- Springer
3 図書 Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings International Conference on Theorem Proving in Higher Order Logics, Bertot, Yves Springer	9 図書 Theorem proving in higher order logics : 10th International Conference, TPHOLsʾ97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings International Conference on Theorem Proving in Higher Order Logics, Gunter, Elsa L., Felty, Amy Springer
4 図書 Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings (: gw) IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications, Schubert, Thomas E., … Springer-Verlag	10 図書 Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings International Conference on Theorem Proving in Higher Order Logics, Wright, J. (Joakim) von, 1955-, Grundy, J. (Jim), … Springer
5 図書 Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings International Conference on Theorem Proving in Higher Order Logics, Slind, Konrad, Bunker, Annette, Gopalakrishnan, … Springer	11 図書 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
6 図書 Theorem proving in higher order logics : 11th International Conference, TPHOLs '98, Canberra, Australia, September 27- October 1, 1998 : proceedings International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles Springer	12 図書 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

1

2

3

4

5

6

7

8

9

10

11

12