상세정보
Export to Refworks부가기능
An Industrial Strength Theorem Prover for a Logic Based on Common Lisp
기사 상세정보
소장정보
- 소장정보
| No. | 소장처 | 소장사항 | 청구기호 | 구독 | 최근입수호 | 권호·제본정보 보기 |
|---|---|---|---|---|---|---|
| 1 | 삼성캠퍼스/연속간행물실(2층)/ | 005 I22 | 구독중단 | 1999년 3,4월 Vol.25 No.2 |
|
|
| 2 | 오성캠퍼스/보존서고/ | 005 I22 |
|
