上智大学図書館の蔵書を検索します。
本学蔵書と電子資料をまとめて検索します。
日本の大学図書館の蔵書を検索します。
日本の論文を検索します。
日本の図書館、公文書館、美術館、学術研究機関の資料を検索します。
本学の蔵書を検索した結果です。学内のパソコンでは電子媒体は詳細画面から外部へリンクする事が可能です。 自宅など学外から電子媒体を表示させる場合には、【VPN接続】をする必要があります。
検索キーワード:(件名: #Computer logic)
該当件数:37件
Computational logic / volume edited by Jörg H. Siekmann
: hbk. - Oxford : North Holland , 2014. - (Handbook of the history of logic ; 9)
図書 <1002737573>
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors.
Providence, RI : American Mathematical Society , 1999
電子ブック <1002980237>
Computer science logic : 15th International Workshop, CSL 2001, 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.)
Berlin ; Tokyo : Springer , c2001. - (Lecture notes in computer science ; 2142)
図書 <1001313955>
Computational logic - CL 2000 : first International Conference, London, UK, July 24-28, 2000 : proceedings / John Lloyd ... [et al.] (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1861 . Lecture notes in artificial intelligence)
図書 <1001180825>
Isabelle/HOL : a proof assistant for higher-order logic / Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel
Berlin ; New York : Springer, c2002. - (Lecture notes in computer science ; 2283 . Lecture notes in artificial intelligence)
図書 <1001367913>
Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings / Peter G. Clote, Helmut Schwichtenberg (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1862)
図書 <1001205137>
Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer , c1999. - (Lecture notes in computer science ; 1683)
図書 <1001084248>
Computer science logic : 12th International Workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August 24-28, 1998 : proceedings / Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1584)
図書 <0219021130>
Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings / Rajeev Goré, Alexander Leitsch, Tobias Nipkow (eds.)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2083 . Lecture notes in artificial intelligence)
図書 <1001283594>
Learning language in logic / James Cussens, Sašo Džeroski (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1925 . Lecture notes in artificial intelligence)
図書 <1001205113>
Advanced methods for inconsistent knowledge management / Ngoc Thanh Nguyen
: hbk. - London : Springer , c2008. - (Advanced information and knowledge processing)
図書 <1001918360>
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI '97 Workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures / Jouko Väänänen (ed.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1754)
図書 <1001110823>
Challenges for action theories / Michael Thielscher
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1775 . Lecture notes in artificial intelligence)
図書 <1001148277>
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.)
Berlin ; New York : Springer-Verlag , c1989. - (Lecture notes in computer science ; 385)
図書 <1000652023>
Computational thinking / Peter J. Denning and Matti Tedre
: ebook,: pbk. - Cambridge, Mass. : The MIT Press , c2019. - (The MIT Press essential knowledge series)
電子ブック <1003152970>
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1968. - (Lecture Notes in Mathematics ; 72)
電子ブック <1002985039>
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich, Karl Meinke (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 832)
図書 <1000503814>
Types for proofs and programs : International Workshop TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers / Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus (eds.)
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1657)
図書 <1001084296>
Types for proofs and programs : International Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers / Eduardo Giménez, Christine Paulin-Mohring (eds.)
Berlin ; Tokyo : Springer , c1998. - (Lecture notes in computer science ; 1512)
図書 <1001038063>
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.], eds
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 533)
図書 <1000432026>