| LDR | 00995cam 2200253 c 4500 | |
|---|---|---|
| 001 | 000000147095 | |
| 005 | 20100511112245 | |
| 008 | 020903s1993 a 000 kor | |
| 040 | ▼a 247024 ▼d 248032 | |
| 041 | 0 | ▼a kor ▼b eng |
| 049 | 1 | ▼l GM00016000 ▼f DM |
| 056 | ▼a 569.8 ▼2 3 | |
| 090 | ▼a 569.8 ▼b 김66ㅍ | |
| 100 | 1 | ▼a 金元泰 |
| 245 | 10 | ▼a Prolog를 위한 유형 검사기의 설계 및 구현 / ▼d 金元泰. |
| 260 | ▼a 대구 : ▼b 慶北大學校, ▼c 1993. | |
| 300 | ▼a 45p: ▼b 삽도 ; ▼c 26cm. | |
| 502 | 0 | ▼a 학위논문(석사) ▼b 경북대학교 대학원: ▼c 전자공학과 전산공학전공, ▼d 1993 |
| 653 | ▼a PROLOG ▼a 검사기 ▼a 프롤로그 ▼a 프롤로그를 위한 유형 검사기의 설계 및 구현 | |
| 940 | ▼a 프롤로그를 위한 유형 검사기의 설계 및 구현 | |
| 950 | 1 | ▼a [비매품] |
| 007 | ta |