| 000 | 00964camuu22002778a 4500 | |
| 001 | 000045347730 | |
| 005 | 20070510153645 | |
| 008 | 930219s1993 pau b 001 0 eng | |
| 010 | ▼a 93018657 | |
| 020 | ▼a 2881249353 | |
| 020 | ▼a 9782881249358 | |
| 035 | ▼a (KERIS)BIB000003248889 | |
| 040 | ▼a 245008 ▼c 245008 ▼d 211009 | |
| 050 | 0 0 | ▼a QA76.7 ▼b .S45 1993 |
| 082 | 0 0 | ▼a 005.13/1 ▼2 22 |
| 090 | ▼a 005.131 ▼b S471 | |
| 245 | 0 0 | ▼a Semantics of programming languages and model theory / ▼c edited by Manfred Droste and Yuri Gurevich. |
| 260 | ▼a Langhome, Pa. : ▼b Gordon and Breach Science Publishers , ▼c c1993. | |
| 300 | ▼a vii, 366 p. ; ▼c 24 cm. | |
| 440 | 0 | ▼a Algebra, logic, and applications ; ▼v v. 5 |
| 504 | ▼a Includes bibliographical references and index. | |
| 650 | 0 | ▼a Programming languages (Electronic computers) ▼x Semantics. |
| 700 | 1 | ▼a Droste, Manfred , ▼d 1956- |
| 700 | 1 | ▼a Gurevich, Yuri. |
| 945 | ▼a KINS |
소장정보
| No. | 소장처 | 청구기호 | 등록번호 | 도서상태 | 반납예정일 | 예약 | 서비스 |
|---|---|---|---|---|---|---|---|
| No. 1 | 소장처 과학도서관/Sci-Info(2층서고)/ | 청구기호 005.131 S471 | 등록번호 121146692 | 도서상태 대출가능 | 반납예정일 | 예약 | 서비스 |