検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Automatictheoremproving
選択行を：
12 件中の　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
3Automated 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
4Compositionality : 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).教養共５Ｆ英語 007:R
5From 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
6Geometric 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
7Handbook of tableau methods / edited by Marcello D'Agostino ... [et al.]. -- Kluwer, 1999.教養共４Ｆ哲学 410.9:D
8Logic 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
9Mechanical geometry theorem proving / Shang-Ching Chou. -- D. Reidel, c1988. -- (Mathematics and its applications).図書館(書庫) 414:C
教養共２Ｆ数学 414:C
10Metamathematics, machines, and Gödel's proof / N. Shankar ; : pbk. -- Cambridge University Press, 1997. -- (Cambridge tracts in theoretical computer science ; 38).教養共４Ｆ哲学 410.9:S
12 件中の　1-1012
選択行を：
▲ページトップへ