(1)申請の種類を選び ∨ をつけてください。
□ 学内相互貸借 □ 予約
・・・・・・・・・・・・・・以下、中央図書館のみ・・・・・・・・・・・・・・・・
□ 入庫利用(学内者) □ 館内閲覧 □ 館外貸出
(2)学生番号 または 教職番号欄に学生番号・教職員コード・Library Card番号
(卒業生)を記入の上カウンターへ請求ください。
配架場所 | 泉:多賀城キャンパス図書館図書コーナー |
請求記号 | QA/76tt/1996 |
資料番号 | a5097004049b |
状態 | |
原簿番号 | 5097A404 |
コレクション |
Theorem proving in higher order logics : 9th International Conference, TPHOLsʾ96, Turku, Finland, August 26-30, 1996 : proceedings / J. von Wright, J. Grundy, J. Harrison, (eds.). - Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1125) |
学生番号 または 教職番号 |
2024/05/05 22:16:36