ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Logic,Symbolicandmathematical -- Congresses
図書(20 件)
選択行を:
10件
20件
50件
20 件中の 1-10
1
2
資料名
所在
1
8th 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
2
9th 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
3
Advances 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
4
Advances 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
5
Advances 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
6
Algebra 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
7
Constructivity 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
8
CSL '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
9
Foundations 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
10
Gö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-10
1
2
選択行を:
▲ページトップへ
動画を再生するにはvideoタグをサポートしたブラウザが必要です。
カナ
英字
EXC
ギリシャ
キリル
ハングル
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
EXC
초성
중성
종성