上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Clote Peter)
該当件数:5件
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993. - (Oxford logic guides ; 23)
図書 <1000473120>
Computational molecular biology : an introduction / Peter Clote, Rolf Backofen
: hbk,: pbk. - Chichester ; New York : John Wiley , c2000. - (Wiley series in mathematical and computational biology)
図書 <1001237816>
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings / Peter G. Clote, Helmut Schwichtenberg (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1862)
図書 <1001205137>
Feasible Mathematics II / edited by Peter Clote, Jeffrey B. Remmel
Boston, MA : Birkhäuser Boston , 1995. - (Progress in Computer Science and Applied Logic ; 13)
電子ブック <1002991147>
統計物理化学から学ぶバイオインフォマティクス / Peter Clote, Rolf Backofen著 ; 小野尚孝, 高井大哉, 高井貴子訳
東京 : 共立出版 , 2004.9
図書 <1001584541>