大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511.3)
該当件数:44件
Operads in algebra, topology and physics / Martin Markl, Steve Shnider, JimStasheff
Providence, R.I. : American Mathematical Society , c2002. - (Mathematical surveys and monographs ; v. 96)
図書
Fuzzy automata and languages : theory and applications / John N. Mordeson, Davender S. Malik
Boca Raton : Chapman & Hall/CRC , c2002. - (Computational mathematics series)
Metamathematics of fuzzy logic / Petr Hájek
Dordrecht : Kluwer Academic Publishers , c1998. - (Trends in logic : studia logica library ; v.4)
地盤の科学 : 地面の下をのぞいてみると・・・・・・ / 土木学会関西支部編
東京 : 講談社 , 1995.9. - (ブルーバックス ; B-1088)
Surveys / edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba
: set. - Dordrecht : Kluwer Academic Publishers , c1995. - (Synthese library ; v. 248 . ; v. 1Quantifiers : logics, models, and computation /)
Fuzzy sets and fuzzy logic : theory and applications / George J. Klir and Bo Yuan
pbk. - Upper Saddle River, N.J. : Prentice Hall PTR , c1995
How to solve mathematical problems / Wayne A. Wickelgren
: pbk. - New York : Dover , 1995
Contributions / edited by Michał Krynicki, Marcin Mostowski, Lesław W. Szczerba
: set. - Dordrecht : Kluwer Academic Publishers , c1995. - (Synthese library ; v. 249 . ; v. 2Quantifiers : logics, models, and computation /)
Non-classical logics and their applications to fuzzy subsets : a handbook ofthe mathematical foundations of fuzzy set theory / edited by Ulrich Höhle and Erich Peter Klement
Dordrecht : Kluwer Academic Publishers , c1995. - (Theory and decision library ; ser. B . ; v. 32Mathematical and statistical methods)
Computation over fuzzy quantities / Milan Marěs
Boca Raton : CRC Press , c1994
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
Oxford : Clarendon Press , 1993. - (Oxford logic guides ; 23)
Readings in fuzzy sets for intelligent systems/ edited by Didier Dubois and Henri Prade, Ronald R. Yager
: pbk. - San Mateo, Calif. : Morgan Kaufmann Publishers , c1993
Elementary categories, elementary toposes / Colin McLarty
Oxford : Clarendon Press , 1992. - (Oxford logic guides ; 21)
Gödel''s incompleteness theorems / Raymond M. Smullyan
New York : Oxford University Press , 1992. - (Oxford logic guides ; 19)
Foundations without foundationalism : a case for second-order logic / Stewart Shapiro
:pbk. - Oxford : Clarendon Press. - New York : Oxford University Press , 1991. - (Oxford logic guides ; 17)
Higher recursion theory / Gerald E. Sacks
: gw,: us. - Berlin : Springer-Verlag , c1990. - (Perspectives in mathematical logic)
The art of problem posing / Stephen I. Brown, Marion I. Walter
: pbk.. - 2nd ed.. - Hillsdale, N.J. : L. Erlbaum Associates , 1990
Computability and logic / George S. Boolos, Richard C.Jeffrey
: pbk. - 3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989
Logic Colloquium ''88 : proceedings of the colloquium held in Padova, Italy, August22-31, 1988 / edited by R. Ferro ... [et al.]
Amsterdam : North-Holland , 1989. - (Studies in logic and the foundations of mathematics ; v. 127)
Recursively enumerable sets and degrees : a study of computable functions and computably generated sets / Robert I.Soare
: U.S.,: Germany. - Berlin : Springer-Verlag , c1987. - (Perspectives in mathematical logic)