ヘルプ
×終了
日本語
|
English
埼玉大学図書館
検索
ブックマーク
マイライブラリ
検索条件入力
>
書誌詳細
> 関連資料一覧:(本学所蔵)
関連資料一覧:(本学所蔵)
検索条件
件名:LCSH:Automatictheoremproving
図書(12 件)
選択行を:
10件
20件
50件
12 件中の 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
Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 / edited by Z. Shi. -- North-Holland, 1992. -- (IFIP transactions ; A . Computer science and technology ; 19).
図書館(書庫)
007.1:S
4
Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures / Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.). -- Springer, c1998. -- (Lecture notes in computer science ; 1536).
教養共5F英語
007:R
5
From logic design to logic programming : theorem proving techniques and P-functions / Dominique Snyers, André Thayse ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 271).
理数学
007.6:S
6
Geometric reasoning for perception and action : Workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.) ; : gw, : us. -- Springer-Verlag, c1993. -- (Lecture notes in computer science ; 708).
図書館(書庫)
007.6:L
7
Handbook of tableau methods / edited by Marcello D'Agostino ... [et al.]. -- Kluwer, 1999.
教養共4F哲学
410.9:D
8
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. -- Harper & Row, c1986. -- (Harper & Row computer science and technology series ; 5).
図書館(書庫)
007.1:G
9
Mechanical geometry theorem proving / Shang-Ching Chou. -- D. Reidel, c1988. -- (Mathematics and its applications).
図書館(書庫)
414:C
教養共2F数学
414:C
10
Metamathematics, machines, and Gödel's proof / N. Shankar ; : pbk. -- Cambridge University Press, 1997. -- (Cambridge tracts in theoretical computer science ; 38).
教養共4F哲学
410.9:S
12 件中の 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
초성
중성
종성