| 000 | 00893camuu2200277 a 4500 | |
| 001 | 000045688707 | |
| 005 | 20120202094629 | |
| 008 | 120202s2004 enka b 001 0 eng d | |
| 020 | ▼a 0954300696 | |
| 035 | ▼a (KERIS)BIB000010856872 | |
| 040 | ▼a 211032 ▼d 211009 | |
| 082 | 0 4 | ▼a 005.115 ▼2 22 |
| 084 | ▼a 005.115 ▼2 DDCK | |
| 090 | ▼a 005.115 ▼b D653h | |
| 100 | 1 | ▼a Doets, Kees. |
| 245 | 1 4 | ▼a The Haskell road to logic, maths and programming / ▼c Kees Doets, Jan van Eijck. |
| 260 | ▼a London : ▼b King's College Publications, ▼c 2004. | |
| 300 | ▼a x, 426 p. : ▼b ill. ; ▼c 23 cm. | |
| 490 | 1 | ▼a Texts in computing ; ▼v 4 |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Logic programming. |
| 650 | 0 | ▼a Logic, Symbolic and mathematical. |
| 700 | 1 | ▼a Eijck, J. van ▼q (Jan) |
| 830 | 0 | ▼a Texts in computing ; ▼v 4. |
| 945 | ▼a KLPA |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.115 D653h | 등록번호 121216857 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |