検索条件入力 ＞ 書誌詳細 ＞ 関連資料一覧：（本学所蔵）
関連資料一覧：（本学所蔵）
検索条件
件名：LCSH:Logicprogramming -- Congresses
選択行を：
資料名所在
1Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP) / edited by Hartmut Ehrig ... [et al.] ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 250 . TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 ; v. 2).理数学 007.6:T:2
2Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 / Eiiti Wada (ed.) ; : gw, : us. -- Springer-Verlag, c1987. -- (Lecture notes in computer science ; 264).理数学 007.6:L
3Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / K. Furukawa, H. Tanaka, T. Fujisaki (eds.) ; : gw, : us. -- Springer-Verlag, c1988. -- (Lecture notes in computer science ; 315).理数学 007.6:L
4Theorem proving with analytic tableaux and related methods : 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.). -- Springer Verlag, c1995. -- (Lecture notes in computer science ; 918 . Lecture notes in artificial intelligence).教養共４Ｆ哲学 007.6:T
5Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.], (eds.). -- Springer, c1996. -- (Lecture notes in computer science ; 1071 . Lecture notes in artificial intelligence).教養共４Ｆ哲学 007.1:T
選択行を：
▲ページトップへ