| 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. |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks2)/ | Call Number 005.11 L832 | Accession No. 121031173 (2회 대출) | Availability Available | Due Date | Make a Reservation | Service |