城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(書名(完全形): Applied Logic Series)
該当件数:34件
Logical and Computational Aspects of Model-Based Reasoning / edited by L. Magnani, N.J. Nersessian, Claudio Pizzi
1st ed. 2002.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2002). - (Applied Logic Series ; 25)
電子ブック
Foundations of Rational Agency / edited by Michael Wooldridge, A. Rao
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 14)
What is Negation? / edited by Dov M. Gabbay, Heinrich Wansing
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 13)
Fuzzy Sets, Logics and Reasoning about Knowledge / edited by Didier Dubois, Henri Prade, Erich Peter Klement
1st ed. 1999.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1999). - (Applied Logic Series ; 15)
Logic, Language and Computation / edited by S. Akama
1st ed. 1997.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1997). - (Applied Logic Series ; 5)
Advances in Intensional Logic / edited by Maarten de Rijke
1st ed. 1997.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1997). - (Applied Logic Series ; 7)
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)
Frontiers in Belief Revision / edited by M. Williams, Hans Rott
1st ed. 2001.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2001). - (Applied Logic Series ; 22)
Goal-Directed Proof Theory / by Dov M. Gabbay, N. Olivetti
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Applied Logic Series ; 21)
Labelled Deduction / edited by David Basin, M. D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Applied Logic Series ; 17)
Fallacies Arising from Ambiguity / by Douglas Walton
1st ed. 1996.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1996). - (Applied Logic Series ; 1)
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)
Foundations of Bayesianism / edited by D. Corfield, J. Williamson
1st ed. 2001.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2001). - (Applied Logic Series ; 24)
Multi-Dimensional Modal Logic / by Maarten Marx, Yde Venema
1st ed. 1997.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1997). - (Applied Logic Series ; 4)
Formal Aspects of Context / edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum
1st ed. 2000.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2000). - (Applied Logic Series ; 20)
Proof Theory of Modal Logic / edited by Heinrich Wansing
1st ed. 1996.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1996). - (Applied Logic Series ; 2)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications / edited by Wolfgang Bibel, P.H. Schmitt
1st ed. 1998.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 1998). - (Applied Logic Series ; 10)
Hybrid Logic and its Proof-Theory / by Torben Braüner
1st ed. 2011.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2011). - (Applied Logic Series ; 37)
Automated Model Building / by Ricardo Caferra, Alexander Leitsch, Nicolas Peltier
1st ed. 2004.. - (Dordrecht : Springer Netherlands : Imprint: Springer , 2004). - (Applied Logic Series ; 31)