上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(書名(完全形): Logic programming)
該当件数:9件
Logic programming : expanding the horizons / edited by Tony Dodd, Richard Owens, Steve Torrance
U.S. - Oxford : Intellect , 1991
図書 <1001371175>
Logic programming : new frontiers / edited by D. R. Brough
Netherlands. - Oxford : Intellect. - Dordrecht : Kluwer Academic Publishers , 1992
図書 <1001371181>
A grammatical view of logic programming / Pierre Deransart and Jan Małuszyński
Cambridge, Mass. : MIT Press , c1993. - (Logic programming)
図書 <1000488248>
Logic programming / edited by Dov M. Gabbay, C.J. Hogger and J.A. Robinson
Oxford : Clarendon Press , 1998. - (Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5)
図書 <1000557366>
Logic programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings / Philippe Codognet (ed.)
Berlin ; New York : Springer , c2001. - (Lecture notes in computer science ; 2237)
図書 <1001347908>
Constraint logic programming : selected research / edited by Frédéric Benhamou and Alain Colmerauer
図書 <1000482005>
Logic for Computer Scientists / by Uwe Schöning
Boston, MA : Birkhäuser Boston , 2008. - (Progress in Mathematics, Basler Lehrbücher ; 8)
電子ブック <1003001360>
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
: Berlin,: New York. - Berlin ; New York : Springer-Verlag , c1992. - (Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence)
図書 <1000447283>
Institution-independent Model Theory / by Răzvan Diaconescu
Basel : Birkhäuser Basel , 2008. - (Studies in Universal Logic)
電子ブック <1003002212>