Theorem Proving in Higher Order Logics

フォーマット:
電子ブック
責任表示:
TPHOLs '96 ; Grundy, Jim ; Harrison, John ; Wright, Joakim
言語:
英語
出版情報:
Springer Berlin Heidelberg, 1996
著者名:
ISBN:
9783540615873 [3540615873]  CiNii Books  Webcat Plus  Google Books
9783540706410 [3540706410]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

TPHOLs '98, Grundy, Jim, Newey, Malcolm Charles

Springer Berlin Heidelberg

TPHOLs 2004, Bunker, Annette, Gopalakrishnan, Ganesh, Slind, Konrad

Springer Berlin Heidelberg

TPHOLs 2000, Aagaard, Mark, Aagaard, Mark D., Harrison, John

Springer Berlin Heidelberg

TPHOLs 2001, Boulton, Richard J., Jackson, Paul B.

Springer Berlin Heidelberg

TPHOLs '99, Bertot, Yves

Springer Berlin Heidelberg

Joyce, Joyce, Jeffrey J., Seger, Carl-Johan H.

Springer Berlin Heidelberg

TPHOLs '97, Felty, Amy, Gunter, Elsa L.

Springer Berlin Heidelberg

Melham, Camilleri, Juanito, Melham, Tom F.

Springer Berlin Heidelberg

TPHOLs 2003, Basin, David, Wolff, Burkhart

Springer Berlin Heidelberg

Schubert, Alves-Foss, James, Schubert, E. Thomas, Windley, Phillip J.

Springer Berlin Heidelberg

TPHOLs 2002, Carreño, Victor A., Muñoz, César A., Tahar, Sofiène

Springer Berlin Heidelberg

International Conference on Theorem Proving in Higher Order Logics, Carreño, Victor A., Muñoz, César, Tahar, Sofiène

Springer