Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Berlin : Springer, c2004
図書等| No. | 所在 | 請求記号 | 資料ID | 資料タイプ | 状況（返却予定日） | コレクション | 備考 | 予約・取り寄せ人数 |
|---|---|---|---|---|---|---|---|---|
|
1 |
007.08-L49-3223
|
10004016339 |
一般図書 |
|
|
|
|
2004
viii, 336 p. : ill. ; 24 cm
Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 2004 : proceedings
Includes bibliographical references and index
ドイツ＝ドイツ連邦共和国
英語 (eng)
英語 (eng)
International Conference on Theorem Proving in Higher Order Logics [ Conference on Theorem Proving in Higher Order Logics, International ] [ International Conference, TPHOLs ] [ TPHOLs ] [ TPHOLs '96 ] [ TPHOLs '97 ]
3540230173
BA68897365
LCCN : 2004111288
