検索条件
件名:LCSH:Logicprogramming -- Congresses
選択行を:
| | 資料名 | 所蔵館 | 責任表示 | 出版者 | 出版年 | 所在 |
1 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/11L7P7RyJjL.jpg) | Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings : gw , : us ( Lecture notes in computer science ; 343 ) | 中央図書館 | J. Grabowski, P. Lescanne, W. Wechler (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||343 |
2 | ![書影](../Images/noimage.png) | Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 463 ) | 中央図書館 | H. Kirchner, W. Wechler (eds.) | Springer-Verlag | 1990 | 中央5階洋 007.1||L 49||463 |
3 | ![書影](../Images/noimage.png) | Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989 : proceedings Springer-Verlag Berlin Heidelberg New York : alk. paper , Springer-Verlag New York Berlin Heidelberg : alk. paper ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] ) | 中央図書館 | P. Schroeder-Heister, ed. | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||475 |
4 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41JAMEMBk%2BL.jpg) | Logic programming '86 : proceedings of the 5th conference, Tokyo, Japan, June 23-26, 1986 : gw , : us ( Lecture notes in computer science ; 264 ) | 中央図書館 | Eiiti Wada (ed.) | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||264 |
5 | ![書影](../Images/noimage.png) | Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 : gw , : us ( Lecture notes in computer science ; 315 ) | 中央図書館 | K. Furukawa, H. Tanaka, T. Fujisaki (eds.) | Springer-Verlag | 1988 | 中央5階洋 007.1||L 49||315 |
6 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/21nSfT-D2pL.jpg) | Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 : gw , : us ( Lecture notes in computer science ; 383[ Lecture notes in artificial intelligence] ) | 中央図書館 | K. Furukawa, H. Tanaka, T. Fujisaki (eds.) | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||383 |
7 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41GFQ-MPskL.jpg) | Logic programming '89 : proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 : gw , : us ( Lecture notes in computer science ; 485[ Lecture notes in artificial intelligence] ) | 中央図書館 | K. Furukawa, H. Tanaka, T. Fujisaki (eds.) | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||485 |
8 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/318gcIDBv2L.jpg) | Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings Springer-Verlag Berlin Heidelberg New York : acid-free paper , Springer-Verlag New York Berlin Heidelberg : acid-free paper ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] ) | 中央図書館 | J. van Eijck (ed.). | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||478 |
9 | ![書影](https://images-fe.ssl-images-amazon.com/images/I/41DJ1ODn-bL.jpg) | Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990 : proceedings : gw , : us ( Lecture notes in computer science ; 543[ Lecture notes in artificial intelligence] ) | 中央図書館 | J. Dix, K.P. Jantke, P.H. Schmitt, eds | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||543 |
10 | ![書影](../Images/noimage.png) | Proceedings of the Second International Workshop on Natural Language Understanding and Logic Programming, Vancouver, Canada, 17-19 August, 1987 ( Natural language understanding and logic programming ; 2 ) | 中央図書館 | edited by Veronica Dahl and Patrick Saint-Dizier | North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. | 1988 | 中央5階洋 548.164||N 58||2 |
選択行を:
|