上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(著者名に左の語を含む: #Hájek Petr)
該当件数:6件
Mathematical foundations of computer science 1995 : 20th International Symposium, MFCS '95, Prague, Czech Republic, August 28-September 1,1995 : proceedings / Jiří Wiedermann, Petr Hájek (eds.)
: gw. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Lecture notes in computer science ; 969)
図書 <1000699377>
Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory / by Petr Hájek, Tomáš Havránek
Berlin, Heidelberg : Springer Berlin Heidelberg , 1978. - (Universitext)
電子ブック <1002997026>
Metamathematics of Fuzzy Logic / by Petr Hájek
Dordrecht : Springer Netherlands : Imprint: Springer , 1998. - (Trends in Logic, Studia Logica Library ; 4)
電子ブック <1002999170>
Uncertain information processing in expert systems / authors, Petr Hájek, Tomáš Havránek, Radim Jiroušek
Boca Raton : CRC Press , c1992
図書 <1000460298>
Biorthogonal Systems in Banach Spaces / by Petr Hájek, Vicente Montesinos Santalucía, Jon Vanderwerff, Václav Zizler
New York, NY : Springer New York , 2008
電子ブック <1003000914>
Functional Analysis and Infinite-Dimensional Geometry / by Marián Fabian, Petr Habala, Petr Hájek, Vicente Montesinos Santalucía, Jan Pelant, Václav Zizler
New York, NY : Springer New York : Imprint: Springer , 2001. - (Canadian Mathematical Society / Société mathématique du Canada)
電子ブック <1002994052>