検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Logic,Symbolicandmathematical -- Congresses
選択行を：
20 件中の　1-1012
資料名所在
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
7Constructivity in mathematics : proceedings of the colloquium held at Amsterdam, 1957 / edited by A. Heyting. -- North-Holland Publishing Co., 1959. -- (Studies in logic and the foundations of mathematics).図書館(書庫) 410.1:H621:1
8CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / E. Börger, H. Kleine Büning, M.M. Richter (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 329).理数学 007.6:C
9Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings / M. Boscarol, L. Carlucci Aiello, G. Levi (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 306).理数学 007.6:F
10Gödel '96 : logical foundations of mathematics, computer science, and physics - Kurt Gödel's legacy : Bruno, Czech Republic, August 1996, Proceedings / Petr Hájek (ed.). -- Springer, c1996. -- (Lecture notes in logic ; 6).理数学 410.9:G
20 件中の　1-1012
選択行を：
▲ページトップへ