| LDR | 00995cam 2200253 c 4500 | |
|---|---|---|
| 001 | 000000142132 | |
| 005 | 20080919165240 | |
| 008 | 080919s1990 a 000 kor | |
| 040 | ▼a 247024 ▼d 248032 | |
| 041 | 0 | ▼a kor ▼b eng |
| 049 | 1 | ▼l GM00026703 ▼f DM |
| 056 | ▼a 566.73 | |
| 082 | ▼a 001.535 ▼2 19 | |
| 090 | ▼a 566.73 ▼b 조92ㅅ | |
| 100 | 1 | ▼a 曺漢洙 |
| 245 | 10 | ▼a 敍述論理를 利用한 레졸루션 方法 硏究 / ▼d 曺漢洙. |
| 260 | ▼a 서울 : ▼b 成均館大學校, ▼c 1990. | |
| 300 | ▼a 50p: ▼b 삽도 ; ▼c 26cm. | |
| 502 | 0 | ▼a 학위논문(석사) ▼b 成均館大學校 經營大學院: ▼c 情報處理學科 情報處理專攻, ▼d 1990 |
| 653 | ▼a 서술논리 ▼a 레졸루션 ▼a 방법 | |
| 965 | ▼a 인공지능 | |
| 007 | ta |