1 | | 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 | | 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 | | Conclog : a methodological approach to concurrent logic programming : gw , : us ( Lecture notes in computer science ; 556 ) | 中央図書館 | J.-M. Jacquet | Springer-Verlag | 1991 | 中央5階洋 007.1||L 49||556 |
4 | | Extended restricted and-parallelism execution model and abstract machine for logic programming | 中央図書館 | by Si-En Chang. | | 1990 | 中央5階洋 548.164||C 33 |
5 | | 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 |
6 | | Foundations of equational logic programming U.S. : alk. paper ( Lecture notes in computer science.[ Lecture notes in artificial intelligence.] ) | 中央図書館 | Steffen Hölldobler. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||353 |
7 | | From logic design to logic programming : theorem proving techniques and P-functions U.S. : pbk. ( Lecture notes in computer science ; 271 ) | 中央図書館 | Dominique Snyers, André Thayse. | Springer-Verlag | 1987 | 中央5階洋 007.1||L 49||271 |
8 | | Interactive relational database design : a logic programming implementation U.S. ( Lecture notes in computer science ; 402 ) | 中央図書館 | Tapan P. Bagchi, Vinay K. Chaudhri. | Springer-Verlag | 1989 | 中央5階洋 007.1||L 49||402 |
9 | | Logic-based 0-1 constraint programming acid-free paper ( Operations research/computer science interfaces series ; ORCS 05 ) | 中央図書館 | Peter Barth | Kluwer Academic Publishers | 1996 | 中央5階洋 336.1||B 25 |
10 | | Logic Programming '85 : proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 : gw , : us ( Lecture notes in computer science ; 221 ) | 中央図書館 | edited by Eiiti Wada | Springer-Verlag | 1986 | 中央5階洋 007.1||L 49||221 |