| 000 | 00804cacuu22002171a 4500 | |
| 001 | 000000109468 | |
| 005 | 20020221150320 | |
| 008 | s1987 maua 100 0 eng d | |
| 040 | ▼c ACSL ▼d 211009 | |
| 049 | 1 | ▼l 421041986 ▼v 1 ▼f 과학 ▼l 421041987 ▼v 2 ▼f 과학 |
| 082 | 0 4 | ▼a 005.131 |
| 090 | ▼a 005.131 ▼b L832 | |
| 111 | 2 | ▼a International Conference on Logic Programming ▼n (4th : ▼d 1987) |
| 245 | 1 0 | ▼a Logic programming : ▼b proceedings of the Fourth International Conference / ▼c edited by Jean-Louis Lassez. |
| 260 | ▼a Cambridge, Mass. : ▼b MIT Press, ▼c c1987. | |
| 300 | ▼a 2v. : ▼b ill. ; ▼c 23 cm. | |
| 500 | ▼a Includes index : v. 1. x, 555 p. -- v. 2. xiv, 557-1056 p. | |
| 650 | 0 | ▼a Logic programming ▼x Congresses. |
| 653 | 0 | ▼a Logic programming |
| 700 | 1 | ▼a Warren, David S. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.131 L832 1 | 등록번호 421041986 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |
| No. 2 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.131 L832 2 | 등록번호 421041987 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |