上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: Algebraic logic Congresses)
該当件数:8件
Logic and its applications / Andreas Blass, Yi Zhang, editors
Providence, R.I. : American Mathematical Society , c2005. - (Contemporary mathematics ; 380)
電子ブック <1003021784>
Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1139)
図書 <1000543578>
Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 850)
図書 <1000503891>
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 463)
図書 <1000394234>
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 632)
図書 <1000454958>
Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.)
Berlin ; New York : Springer-Verlag , c[1989]. - (Lecture notes in computer science. ; 343)
図書 <1000593207>
Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1990. - (Lecture notes in computer science ; 425)
図書 <1000382166>
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors
Providence, R.I. : American Mathematical Society , c2012. - (Proceedings of symposia in applied mathematics ; v. 71)
図書 <1002562913>