>> Amazon.co.jp
このページのQRコード

Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings

種類:
電子ブック
責任表示:
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報:
Berlin, Heidelberg : Springer-Verlag, 1996
著者名:
Goos, Gerhard
Hartmanis, Juris
Leeuwen, Jan
Wright, Joakim
Grundy, Jim
Harrison, John
SpringerLink (Online service)
続きを見る
シリーズ名:
Lecture Notes in Computer Science ; 1125
ISBN:
9783540706410 [3540706410]  CiNii Books  Calil
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
http://dx.doi.org/10.1007/BFb0105392
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs'96, Turku, Finland, August 26 - 30, 1996, Proceedings

Wright, Joakim von., Grundy, Jim., Harrison, John., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
7 電子ブック Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings

Meyer, Albert R., Taitslin, Michael A., SpringerLink (Online service)

Springer-Verlag
2 電子ブック Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings

Joyce, Jeffrey J., Seger, Carl-Johan H., SpringerLink (Online service)

Springer-Verlag
8 電子ブック Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Schubert, E. Thomas., Windley, Phillip J., Alves-Foss, James., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック Isabelle : A Generic Theorem Prover

Paulson, Lawrence C., SpringerLink (Online service)

Springer-Verlag
9 電子ブック Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings

Srivas, Mandayam, Camilleri, Albert, SpringerLink (Online service)

Springer-Verlag
4 電子ブック Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Thomas Schubert, E., Windley, Philip J., Alves-Foss, James, SpringerLink (Online service)

Springer-Verlag
10 電子ブック Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Alur, Rajeev, Henzinger, Thomas A., SpringerLink (Online service)

Springer-Verlag
5 図書 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
11 電子ブック Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings

Wirsing, Martin, Nivat, Maurice, SpringerLink (Online service)

Springer-Verlag
6 電子ブック Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

Melham, Thomas F., Camilleri, Juanito, SpringerLink (Online service)

Springer-Verlag
12 電子ブック Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings

Maluszyński, Jan, Wirsing, Martin, SpringerLink (Online service)

Springer-Verlag