金沢大学附属図書館 OPAC plus

IRDB

同じキーワードで他のサイトを検索できます。

絞り込み条件

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 資料ID：

出版年：

～

主題：

請求記号：

言語：

選択:

検索結果: 4 件

図書

1. Megaregions : globalization's new urban form?

edited by John Harrison, Michael Hoyler

図書

2. Marxist economics for socialists : a critique of reformism

John Harrison

電子ブック

ＥＢ

3. Theorem Proving in Higher Order Logics

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

電子ブック

ＥＢ

4. Theorem Proving in Higher Order Logics

TPHOLs '96 ; Grundy, Jim ; Harrison, John ; Wright, Joakim