| 000 | 00846camuuu200253 a 4500 | |
| 001 | 000000569814 | |
| 003 | OCoLC | |
| 005 | 19971010181240.0 | |
| 008 | 941012s1995 ne a b 000 0 eng | |
| 010 | ▼a 94040114 //r95 | |
| 020 | ▼a 0444820922 (acid-free paper) | |
| 040 | ▼a DLC ▼c DLC | |
| 049 | ▼a ACSL ▼l 121031173 | |
| 050 | 0 0 | ▼a QA76.63 ▼b .L63294 1995 |
| 082 | 0 0 | ▼a 005.1/1 ▼2 20 |
| 090 | ▼a 005.11 ▼b L832 | |
| 245 | 0 0 | ▼a Logic programming : ▼b formal methods and practical applications / ▼c edited by Christoph Beierle, Lutz Plumer. |
| 260 | ▼a Amsterdam ; ▼a New York : ▼b Elsevier, ▼c 1995. | |
| 300 | ▼a xiv, 404 p. : ▼b ill. ; ▼c 25 cm. | |
| 440 | 0 | ▼a Studies in computer science and artificial intelligence ; ▼v 11 |
| 504 | ▼a Includes bibliographical references. | |
| 650 | 0 | ▼a Logic programming. |
| 700 | 1 | ▼a Beierle, Christoph, ▼d 1954- |
| 700 | 1 | ▼a Plumer, Lutz. |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.11 L832 | 등록번호 121031173 (2회 대출) | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |