城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA8.9-10.3)
該当件数:332件
Advances in Temporal Logic / edited by Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Applied Logic Series ; 16)
電子ブック
Applications of Point Set Theory in Real Analysis / by A.B. Kharazishvili
1st ed. 1998.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1998). - (Mathematics and Its Applications ; 429)
Boolean Constructions in Universal Algebras / by A.G. Pinus
1st ed. 1993.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1993). - (Mathematics and Its Applications ; 242)
Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering / by Larisa Angstenberger
1st ed. 2001.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2001). - (International Series in Intelligent Technologies ; 17)
Problems and Exercises in Discrete Mathematics / by G.P. Gavrilov, A.A. Sapozhenko
1st ed. 1996.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1996). - (Texts in the Mathematical Sciences ; 14)
The Joy of Sets : Fundamentals of Contemporary Set Theory / by Keith Devlin
2nd ed. 1993.. - (New York, NY : Springer New York : Imprint: Springer , 1993). - (Undergraduate Texts in Mathematics. ISSN:21975604)
Automated Theorem Proving : Theory and Practice / by Monty Newborn
1st ed. 2001.. - (New York, NY : Springer New York : Imprint: Springer , 2001)
Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory / by Jerome Malitz
1st ed. 1979.. - (New York, NY : Springer New York : Imprint: Springer , 1979). - (Undergraduate Texts in Mathematics. ISSN:21975604)
Fuzzy Set Theory and Advanced Mathematical Applications / edited by Da Ruan
1st ed. 1995.. - (New York, NY : Springer US : Imprint: Springer , 1995). - (International Series in Intelligent Technologies ; 4)
Fundamentals of Fuzzy Sets / edited by Didier Dubois, Henri Prade
1st ed. 2000.. - (New York, NY : Springer US : Imprint: Springer , 2000). - (The Handbooks of Fuzzy Sets ; 7)
Mathematics of Fuzzy Sets : Logic, Topology, and Measure Theory / by Ulrich Höhle, S.E. Rodabaugh
1st ed. 1999.. - (New York, NY : Springer US : Imprint: Springer , 1999). - (The Handbooks of Fuzzy Sets ; 3)
Mathematical Logic : An Introduction to Model Theory / by A. Lightstone
1st ed. 1978.. - (New York, NY : Springer US : Imprint: Springer , 1978). - (Mathematical Concepts and Methods in Science and Engineering ; 9)
Closure Spaces and Logic / by N.M. Martin, S. Pollard
1st ed. 1996.. - (New York, NY : Springer US : Imprint: Springer , 1996). - (Mathematics and Its Applications ; 369)
Advances in Computational Intelligence and Learning : Methods and Applications / edited by Hans-Jürgen Zimmermann, Georgios Tselentis, Maarten van Someren, Georgios Dounias
1st ed. 2002.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2002). - (International Series in Intelligent Technologies ; 18)
Analysis and Evaluation of Fuzzy Systems / by Akira Ishikawa, Terry L. Wilson
1st ed. 1995.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1995). - (International Series in Intelligent Technologies ; 2)
Universal Algebra, Algebraic Logic, and Databases / by B. Plotkin
1st ed. 1994.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1994). - (Mathematics and Its Applications ; 272)
Fuzzy Modeling for Control / by Robert Babuška
1st ed. 1998.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1998). - (International Series in Intelligent Technologies ; 12)
Distributed Fuzzy Control of Multivariable Systems / by Alexander Gegov
1st ed. 1996.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1996). - (International Series in Intelligent Technologies ; 6)
The Semantics and Proof Theory of the Logic of Bunched Implications / by David J. Pym
1st ed. 2002.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2002). - (Applied Logic Series ; 26)
Thirty Five Years of Automating Mathematics / edited by F.D. Kamareddine
1st ed. 2003.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2003). - (Applied Logic Series ; 28)