ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Logic,Symbolicandmathematical
図書(168 件)
雑誌(3 件)
選択行を:
10件
20件
50件
168 件中の 1-10
1
2
3
4
5
6
7
8
9
10
...
>>
資料名
所在
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
Algorithmic logic / G. Mirkowska and A. Salwicki. -- D. Reidel, .
教養共5F英語
410.9:M
8
Axiomatic formal ontology / Uwe Meixner. -- Kluwer Academic, 1997. -- (Synthese library ; v. 264).
教養共4F哲学
111:M
9
Background : 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
10
Background : 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-10
1
2
3
4
5
6
7
8
9
10
...
>>
選択行を:
▲ページトップへ
動画を再生するには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
초성
중성
종성