検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Logic,Symbolicandmathematical
選択行を：
168 件中の　1-1012345678910...>>
資料名所在
18th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann ; : gw, : us. -- Springer-Verlag, c1986. -- (Lecture notes in computer science ; 230).図書館(書庫) 007.1:I
29th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 310).理数学 007.6:I
3Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil / Walter A. Carnielli, Itala M.L. D'Ottaviano, editors. -- American Mathematical Society, c1999. -- (Contemporary mathematics ; v. 235).理数学 007.1:C
4Advances in linear logic / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier ; : pbk. -- Cambridge University Press, 1995. -- (London Mathematical Society lecture note series ; 222).理数学 410.9:A
5Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang, editors. -- American Mathematical Society, c2007. -- (Contemporary mathematics ; 425).理数学 410.9:G
6Algebra and computer science : Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015: Porto, Portugal : Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015: San Antonio, TX : Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014: Tel-Aviv, Israel / Delaram Kahrobaei, Bren Cavallo, David Garber, editors. -- American Mathematical Society, c2016. -- (Contemporary mathematics ; 677).理数学 411:K
7Algorithmic logic / G. Mirkowska and A. Salwicki. -- D. Reidel, .教養共５Ｆ英語 410.9:M
8Axiomatic formal ontology / Uwe Meixner. -- Kluwer Academic, 1997. -- (Synthese library ; v. 264).教養共４Ｆ哲学 111:M
9Background : computational structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. -- Clarendon Press, 1992. -- (Handbook of logic in computer science ; v. 2).工情報 007.6:H:2
10Background : mathematical structures / edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay. -- Clarendon Press, 1992. -- (Handbook of logic in computer science ; v. 1).工情報 007.6:H:1
168 件中の　1-1012345678910...>>
選択行を：
▲ページトップへ