富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #Crossley John N)
該当件数:1件
Adapting Proofs-as-Programs : The Curry--Howard Protocol / by Iman Poernomo, John N. Crossley, Martin Wirsing
1st ed. 2005.. - (New York, NY : Springer New York : Imprint: Springer , 2005). - (Monographs in Computer Science. ISSN:25125486)
電子ブック